aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--manual/texinfo.tex11
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}%