On Sun, Mar 03, 2019 at 08:51:05PM +0000, Gavin Smith wrote:
> As far as I know the only barrier to changing the escape character is
> that old texindex is still installed.
texindex 6.6 doesn't appear to handle @ properly as an index initial. With
the input
@entry{\, backslash}{1}{{@tt @backslashcurfont }, backslash}
@entry{{@indexlbrace }, open brace}{1}{@lbracechar {}, open brace}
@entry{{@indexrbrace }, close brace}{1}{@rbracechar {}, close brace}
@entry{@@, at sign}{1}{@@, at sign}
@entry{@@, at sign}{1}{@atchar {}, at sign}
it gives the output
@initial {@}
@entry {@@, at sign}{1}
@initial {\}
@entry {{@tt @backslashcurfont }, backslash}{1}
@initial {{@indexlbrace }}
@entry {@lbracechar {}, open brace}{1}
@initial {{@indexrbrace }}
@entry {@rbracechar {}, close brace}{1}
- it should be @initial{@@} instead.
It doesn't work with \\ in an index entry either (outputing \initial{\}
if \ is the escape character), but that doesn't matter because
texinfo.tex is not putting \\ in the index files.
