]> Savannah Git Hosting - gnulib.git/commitdiff
autoupdate
authorKarl Berry <karl@freefriends.org>
Mon, 3 Jul 2023 14:20:20 +0000 (07:20 -0700)
committerKarl Berry <karl@freefriends.org>
Mon, 3 Jul 2023 14:20:20 +0000 (07:20 -0700)
build-aux/texinfo.tex

index 58a29bf35b77fd07fd3eeede72335fcacf2236d3..b1d2999e5d772de9978028f8d039eae2652c0b9a 100644 (file)
@@ -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{2023-06-08.14}
+\def\texinfoversion{2023-07-02.10}
 %
 % Copyright 1985, 1986, 1988, 1990-2023 Free Software Foundation, Inc.
 %
@@ -9023,6 +9023,7 @@ might help (with 'rm \jobname.?? \jobname.??s')%
 \def\link#1{\linkX[#1,,,]}
 \def\linkX[#1,#2,#3,#4]{%
   \begingroup
+  \unsepspaces
   \getprintedrefname{#1}{#2}{#3}%
   \startxreflink{#1}{#3}%
   \printedrefname