[PATCH] Added some options to configure.py allowing for faster partial-reconfigures.

[Jürgen Spitzmüller]

Am Dienstag, dem 10.10.2023 um 14:27 +0200 schrieb Pavel Sanda:
> As I see we do:
> 2) Indexing cls/sty/bst/bib/bbx/cbx (do we need those for something?)

Yes, (bib)latex settings for bst/bib/bbx/cbx. Package/class
availability for the others.

> 6) checking fonts (do we actually use those for settings?)

Yes, TeX fonts settings (availability of fonts or specific font
features).

All we query is needed for something for sure.

-- 
Jürgen