Re: texinfo.tex problem formatting index

[arnold]

Gavin Smith <address@hidden> wrote:

> On Thu, Nov 16, 2017 at 08:12:10PM +0000, Gavin Smith wrote:
> > 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.
>
> I've realised my fix is wrong and only appeared to work by accident
> (I wrote \ht\pagetotal instead of \pagetotal by mistake). I'll look at 
> it and see if it can be fixed but I can't guarantee anything.

Much thanks!  I appreciate the effort.  Maybe you can drag Karl out
of retirement for a bit to help. :-)

Thanks,

Arnold