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

[Pavel Sanda]

On Tue, Oct 10, 2023 at 02:38:01PM +0200, Jürgen Spitzmüller wrote:
>> 4) *lot* of latex packages
> All we query is needed for something for sure.

Let's stick with point 4.

By *needed* you mean that we have e.g. some specific feature requiring it for
proper typesetting (I agree with that) or that we actively use the information
gathered by configure somewhere in UI (that's what I'm doubting, except of the
insetinfo case)?

Pavel