Re: [bug #43122] texi2dvi does not compile enough times to get toc

[Gavin Smith]

On 29 August 2015 at 12:40, Vincent Belaïche <address@hidden> 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.