# HG changeset patch # User Paul Eggert # Date 1120690346 0 # Node ID fbc57998d22b0104b990b82a48c6c1a31515e29a # Parent cd3c62f1332e73e6f0760e206776e0b55b50f22c Sync from texinfo. diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex --- a/build-aux/texinfo.tex +++ b/build-aux/texinfo.tex @@ -3249,7 +3249,6 @@ % 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 @@ \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.