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

[Karl Berry]

I can't look at the patch any time soon, sorry.  I'm sure Gavin will do
a good review :).

I think using -recorder (when it's available) should be the default, as
I wrote privately to Gavin a few days ago.  I don't know what he thinks.

k