diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-26 12:31:40 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2016-05-26 12:32:06 -0700 |
commit | 9280e3089a3f40566bd5e285d5d13e5aa445d583 (patch) | |
tree | 48affa3fa2ca9c19bbb5806959ffe8b1b6a1084a /build-aux/texinfo.tex | |
parent | 8d807a99c6e8eecd2a9cf7c7b5d48ec0b2c934f8 (diff) | |
download | gnulib-9280e3089a3f40566bd5e285d5d13e5aa445d583.tar.gz |
update from texinfo
Diffstat (limited to 'build-aux/texinfo.tex')
-rw-r--r-- | build-aux/texinfo.tex | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex index 314063cafe..d7e6b1f6b8 100644 --- a/build-aux/texinfo.tex +++ b/build-aux/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{2016-05-07.20} +\def\texinfoversion{2016-05-26.20} % % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995, % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006, @@ -4606,6 +4606,19 @@ end \fi } +% Like \expandablevalue, but completely expandable (the \message in the +% definition above operates at the execution level of TeX). Used when +% writing to auxiliary files, due to the expansion that \write does. +% +% NB flag names containing - or _ may not work here. +\def\dummyvalue#1{% + \expandafter\ifx\csname SET#1\endcsname\relax + [No value for ``#1'']% + \else + \csname SET#1\endcsname + \fi +} + % @ifset VAR ... @end ifset reads the `...' iff VAR has been defined % with @set. % @@ -4892,7 +4905,7 @@ end % % We want to disable all macros so that they are not expanded by \write. \macrolist - \definedummyword\value + \let\value\dummyvalue % \normalturnoffactive } @@ -8707,6 +8720,8 @@ end {% \requireauxfile \atdummies % preserve commands, but don't expand them + % match definition in \xrdef, \refx, \xrefX. + \def\value##1{##1}% \edef\writexrdef##1##2{% \write\auxfile{@xrdef{#1-% #1 of \setref, expanded by the \edef ##1}{##2}}% these are parameters of \writexrdef |