diff --git a/gcc/texinfo.tex b/gcc/texinfo.tex
index e8375a310ac..880538e8130 100644
--- a/gcc/texinfo.tex
+++ b/gcc/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/10/25 19:02:12 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}%