diff options
| author | Karl Berry <karl@gnu.org> | 1996-11-05 19:51:16 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-11-05 19:51:16 +0000 |
| commit | b16829dc46949ad8027ef00f081f7c7c88508c84 (patch) | |
| tree | c2877ebe03f1af1d26a0894c73469ef6ffbc9342 | |
| parent | c71e4ac26997b0c4cad26fcaf6826135ede3959d (diff) | |
| download | gunmake-b16829dc46949ad8027ef00f081f7c7c88508c84.tar.gz | |
Call \normalturnoffactive for the sake of \write's that include a \.
| -rw-r--r-- | texinfo.tex | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/texinfo.tex b/texinfo.tex index 7d62f26..ca59280 100644 --- a/texinfo.tex +++ b/texinfo.tex @@ -1,4 +1,5 @@ -%% TeX macros to handle texinfo files +%% TeX macros to handle Texinfo files. +%% $Id$ % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, % 94, 95, 1996 Free Software Foundation, Inc. @@ -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}% |