diff options
author | Karl Berry <karl@gnu.org> | 1998-12-15 21:48:39 +0000 |
---|---|---|
committer | Karl Berry <karl@gnu.org> | 1998-12-15 21:48:39 +0000 |
commit | 7f83bfe911ffe5e207eeb63002c4548963665d14 (patch) | |
tree | 29a0094f8721a533ad44174f8833b280d77a99f7 | |
parent | 45406fc744015ce0b462b793a0720be2542e0c30 (diff) | |
download | gunmake-7f83bfe911ffe5e207eeb63002c4548963665d14.tar.gz |
* texinfo.tex (\indexdummies): set \{ and \} to \lbracecmd and
\rbracecmd to avoid lossage if @tex is active during \shipout.
Report from: "Peter Kabal" <Kabal@ece.mcgill.ca>.
-rw-r--r-- | texinfo.tex | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/texinfo.tex b/texinfo.tex index 9c533ae..af676a8 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{1998-12-06}% +\def\texinfoversion{1998-12-15}% % % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98 % Free Software Foundation, Inc. @@ -2388,8 +2388,9 @@ width0pt\relax} \fi % (Must be a way to avoid doing expansion at all, and thus not have to % laboriously list every single command here.) \def\@{@}% will be @@ when we switch to @ as escape char. -%\let\{ = \lbracecmd -%\let\} = \rbracecmd +% need these in case \tex is in effect and \{ is a \delimiter again. +\let\{ = \lbracecmd +\let\} = \rbracecmd \def\_{{\realbackslash _}}% \def\w{\realbackslash w }% \def\bf{\realbackslash bf }% |