Re: texinfo.tex problem formatting index

2017-11-17 Thread arnold
arn...@skeeve.com wrote: > Gavin Smith wrote: > > > On Thu, Nov 16, 2017 at 08:12:10PM +, 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'

Re: texinfo.tex problem formatting index

2017-11-17 Thread arnold
Gavin Smith wrote: > On Thu, Nov 16, 2017 at 08:12:10PM +, 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 appe