Hi.
Gavin Smith <[email protected]> wrote:
> 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.
The fix is simple:
$ git diff ti.twjr
diff --git a/texindex/ti.twjr b/texindex/ti.twjr
index ec59f68a5..7d5621f89 100644
--- a/texindex/ti.twjr
+++ b/texindex/ti.twjr
@@ -443,7 +443,7 @@ function beginfile(filename)
|| substr($0, 2, 5) != "entry")
fatal(_"%s is not a Texinfo index file\n", filename)
- Special_chars = "{}"
+ Special_chars = "{}" Command_char
}
@
I will push this later or you can beat me to it. :-)
Thanks,
Arnold
