]> Savannah Git Hosting - gnulib.git/commitdiff
update from texinfo
authorKarl Berry <karl@freefriends.org>
Tue, 2 Feb 2016 18:07:32 +0000 (10:07 -0800)
committerKarl Berry <karl@freefriends.org>
Tue, 2 Feb 2016 18:07:32 +0000 (10:07 -0800)
build-aux/texinfo.tex

index b2f744548e245ecbed30dda49beb36a8a8cc78ac..58021b2c1065aa4e2bf33b8e8b8759220cd434d5 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{2016-01-31.12}
+\def\texinfoversion{2016-02-02.07}
 %
 % Copyright 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -4739,8 +4739,8 @@ end
   %
   \uccode`\1=`\{ \uppercase{\def\{{1}}%
   \uccode`\1=`\} \uppercase{\def\}{1}}%
-  \let\lbracechar\{
-  \let\rbracechar\}
+  \let\lbracechar\{%
+  \let\rbracechar\}%
   %
   % Non-English letters.
   \def\AA{AA}%
@@ -8601,12 +8601,9 @@ end
       %
       % output the `page 3'.
       \turnoffactive \putwordpage\tie\refx{#1-pg}{}%
-           \ifx,\tokenafterxref
-      \else\ifx.\tokenafterxref
-      \else\ifx;\tokenafterxref
-      \else\ifx)\tokenafterxref
-      \else,% add a , if xref not followed by punctuation
-      \fi\fi\fi\fi
+      \if\noexpand\tokenafterxref\space
+        ,% add a , if xref not followed by punctuation
+      \fi
     \fi\fi
   \fi
   \endlink