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

[Pavel Sanda]

On Wed, Oct 11, 2023 at 04:17:30PM +0200, Thibaut Cuvelier wrote:
> On Wed, 11 Oct 2023 at 11:03, Pavel Sanda <sanda at lyx.org> wrote:
> 
> > 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)?
> 
> When you open a document that your LaTeX installation cannot compile, LyX
> warns you (something like "this class is not available" or module).

Ok, I go and hide back into my cave :) P