diff options
| -rw-r--r-- | manual/texinfo.tex | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/manual/texinfo.tex b/manual/texinfo.tex index e8375a310a..6bd494b8cb 100644 --- a/manual/texinfo.tex +++ b/manual/texinfo.tex @@ -1,4 +1,5 @@ -%% TeX macros to handle texinfo files +%% TeX macros to handle Texinfo files. +%% $Id: texinfo.tex,v 2.186 1996/11/05 19:51:16 karl Exp $ % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, % 94, 95, 1996 Free Software Foundation, Inc. @@ -35,7 +36,7 @@ % This automatically updates the version number based on RCS. \def\deftexinfoversion$#1: #2 ${\def\texinfoversion{#2}} -\deftexinfoversion$Revision: 2.185 $ +\deftexinfoversion$Revision: 2.186 $ \message{Loading texinfo package [Version \texinfoversion]:} % If in a .fmt file, print the version number @@ -144,8 +145,10 @@ \ifodd\pageno \advance\hoffset by \bindingoffset \else \advance\hoffset by -\bindingoffset\fi {% - \escapechar = `\\ % use backslash in output files. - \indexdummies + \escapechar = `\\ % use backslash in output files. + \indexdummies % don't expand commands in the output. + \normalturnoffactive % \ in index entries must not stay \, e.g., if + % the page break happens to be in the middle of an example. \shipout\vbox{% {\let\hsize=\pagewidth \makeheadline}% \pagebody{#1}% |