Hi.
Gavin Smith wrote:
> On Sun, Mar 03, 2019 at 08:51:05PM +, 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
>
On Sun, Mar 03, 2019 at 08:51:05PM +, 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 @backsla