From 1290679bc372f82f0c9892fed2c85a9c3e390265 Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Wed, 25 Feb 1998 22:54:34 +0000 Subject: [PATCH] (\doprintindex): Change catcode of @ before \read, in case of \initial{@} being the line that is read. Reported by: Drew Csillag --- texinfo.tex | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/texinfo.tex b/texinfo.tex index 3dafe9c1..1701ae10 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -2539,6 +2539,11 @@ width0pt\relax} \fi \indexbreaks % % See if the index file exists and is nonempty. + % Change catcode of @ here so that if the index file contains + % \initial {@} + % as its first line, TeX doesn't complain about mismatched braces + % (because it thinks @} is a control sequence). + \catcode`\@ = 11 \openin 1 \jobname.#1s \ifeof 1 % \enddoublecolumns gets confused if there is no text in the index, @@ -2560,7 +2565,6 @@ width0pt\relax} \fi % to make right now. \def\indexbackslash{\rawbackslashxx}% \catcode`\\ = 0 - \catcode`\@ = 11 \escapechar = `\\ \begindoublecolumns \input \jobname.#1s