On Thu, Mar 07, 2019 at 01:57:08PM -0700, [email protected] wrote:
> Gavin Smith <[email protected]> wrote:
>
> > On Mon, Mar 04, 2019 at 12:34:42AM -0700, [email protected] wrote:
> > > No. As per the mail you discovered, Karl just said "make it work with
> > > both"
> > > so I did. But we're five years later, let's just make the change, please.
> >
> > Made in commit 2405caa.
>
Here we were discussing the escape character used in Texinfo index
files, and changing it from \ to @. Since texi2dvi didn't support @ as
as the escape character (as it checked for "\entry" in the files, and not
"@entry"), I think we should change back to \ so that new
texinfo.tex works with old texi2dvi. When the new version of texi2dvi
has had a chance to become more prevalent, then the escape character can
change back to @ again.
This should be an easy change to make now because both @ and \ are
only be used as escape characters in index files, never standing for
themselves. All that is needed is for the one-line change below.
diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 4bc569a..0149ef6 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -5308,6 +5308,8 @@ end
% the current value of \escapechar.
\def\escapeisbackslash{\escapechar=`\\}
+\set txiindexescapeisbackslash
+
% Write the entry in \indextext to the index file.
%
\def\doindwrite{%
