diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2005-07-06 22:52:26 +0000 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2005-07-06 22:52:26 +0000 |
commit | eb882630d026aa3ede45f1e4f212b5dba7fe3e14 (patch) | |
tree | d87add0c7166b41f0e2034bc42987f0f16698e85 | |
parent | abe574726d366cedfb5a58484fd3a102b587323c (diff) | |
download | gnulib-eb882630d026aa3ede45f1e4f212b5dba7fe3e14.tar.gz |
Sync from texinfo.
-rw-r--r-- | build-aux/texinfo.tex | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex index cc761b4598..8c5bfde3d8 100644 --- a/build-aux/texinfo.tex +++ b/build-aux/texinfo.tex @@ -3249,7 +3249,6 @@ where each line of input produces a line of output.} % Called from \indexdummies and \atdummies. % \def\commondummies{% - \normalturnoffactive % % \definedummyword defines \#1 as \string\#1\space, thus effectively % preventing its expansion. This is used only for control% words, @@ -3319,15 +3318,14 @@ where each line of input produces a line of output.} \definedummyword\print \definedummyword\result % + % We want to disable all macros so that they are not expanded by \write. + \macrolist + % + \normalturnoffactive + % % Handle some cases of @value -- where it does not contain any % (non-fully-expandable) commands. \makevalueexpandable - % - % Normal spaces, not active ones. - \unsepspaces - % - % We want to disable all macros so that they are not expanded by \write. - \macrolist } % \commondummiesnofonts: common to \commondummies and \indexnofonts. |