diff options
author | Karl Berry <karl@freefriends.org> | 2003-01-17 17:22:27 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2003-01-17 17:22:27 +0000 |
commit | 67c16945c7be13d5c7b7123cb4fd0933833ca5c1 (patch) | |
tree | 2f0f565eebb7561cefd75c7798a696c6df56d328 | |
parent | 98756231633580c78ed81d0c06534cb6936d6645 (diff) | |
download | gnulib-67c16945c7be13d5c7b7123cb4fd0933833ca5c1.tar.gz |
update from texinfo
-rw-r--r-- | config/texinfo.tex | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/config/texinfo.tex b/config/texinfo.tex index b626925bf4..6e9f017409 100644 --- a/config/texinfo.tex +++ b/config/texinfo.tex @@ -5879,7 +5879,12 @@ width0pt\relax} \fi % If its value is nonempty, SUFFIX is output afterward. \def\refx#1#2{% - \expandafter\ifx\csname X#1\endcsname\relax + {% + \indexdummies + \expandafter\global\expandafter\let\expandafter\thisrefX + \csname X#1\endcsname + }% + \ifx\thisrefX\relax % If not defined, say something at least. \angleleft un\-de\-fined\angleright \iflinks @@ -5894,7 +5899,7 @@ width0pt\relax} \fi \fi \else % It's defined, so just use it. - \csname X#1\endcsname + \thisrefX \fi #2% Output the suffix in any case. } |