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

[Jürgen Spitzmüller]

Am Dienstag, dem 10.10.2023 um 10:31 +0100 schrieb José Matos:
> The use of these options inside LyX should depend on the actual
> context. That would mean that in your particular case the option to
> only rebuild the modules part should be in the modules related
> interface.

Yes, and ideally it should be done in a way that doesn't require LyX
restart (i.e., theModuleList.read() should be re-issued in that
specific case).

-- 
Jürgen