It seems to me that there's an incompatibility between texinfo-6.7 and
the markup that we use to get nice index entries, giving the
fantistically un-nice index entries in the currently-available PDF.
Building the manual with the texinfo.tex file from texinfo-6.8 in the
manual directory (so on TeX's search path) gives the more expected index
format. I've installed a local workaround on the host I use to build
releases, so for the forseeable future we should be OK.
It seems to me that there's an incompatibility between texinfo-6.7 and
the markup that we use to get nice index entries, giving the
fantistically un-nice index entries in the currently-available PDF.
Building the manual with the texinfo.tex file from texinfo-6.8 in the
manual directory (so on TeX's search path) gives the more expected index
format. I've installed a local workaround on the host I use to build
releases, so for the forseeable future we should be OK.
Thank you for the report!