Re: texinfo.tex problem formatting index

[Gavin Smith]

On Wed, Nov 15, 2017 at 09:54:06PM +0200, Arnold Robbins wrote:
> Hi.
> 
> I just saw a weird case where texinfo.tex put a blank page in
> the middle of the index.  To reproduce:
> 
>       git clone https://github.com/arnoldrobbins/prepinfo
>       cd prepinfo
>       make
> 
> Look at the index in the PDF.
> 
> This is with the current texinfo.tex.

I've committed a fix.  I can't guarantee that it's right for all 
circumstances as the implementation of the double-column index format is 
a complex area.  Please give it a try, anyway. I hope I haven't broken 
anything else with this fix.

I think the problem in question happens when TeX has
slightly more than a page left over to output when the index ends. It 
thinks that it could fit on one page, but when it is split into two 
columns, because of the stretch in the material (before the letter 
headings), it ends up as too big.