On 29 August 2015 at 12:40, Vincent Belaïche <[email protected]> wrote: > Some proposal below... > > Le 22/08/2015 00:26, Karl Berry a écrit : >> At this point, I guess I have to conclude it is better to use -recorder >> if it is available. >> >> k > > > Hello, > > Attached is a patch that solves the problem for me. It is a bit long, > because I did it as backward compatible as possible. > > By setting environnement variable TEXI2DVI_USE_RECORDER you can suppress > the additional prior testing and make this novel texi2dvi almost as fast as it > used to be. > > VBR, > Vincent Belaïche >
Wow, thanks a lot for this. I'll get to reading this patch in the coming days, unless Karl reviews it first.
