Hi.

Fix is pushed to git.

Thanks,

Arnold

[email protected] wrote:

> 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

Reply via email to