mirror of
https://git.savannah.gnu.org/git/make.git
synced 2024-11-24 20:20:35 +00:00
(\doprintindex): Change catcode of @ before \read, in case of
\initial{@} being the line that is read. Reported by: Drew Csillag <drew_csillag@geocities.com>
This commit is contained in:
parent
dc70a3bc0b
commit
1290679bc3
1 changed files with 5 additions and 1 deletions
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue