[Gsrc-commit] trunk r6576: texinfo.tex update

[Carl Hansen]

------------------------------------------------------------
revno: 6576
revision-id: address@hidden
parent: address@hidden
committer: address@hidden
branch nick: trunk
timestamp: Sat 2019-06-01 15:19:15 -0700
message:
  texinfo.tex update
modified:
  doc/texinfo.tex                texinfo.tex-20190530181338-ltiwe8dnocveg3er-1

=== modified file 'doc/texinfo.tex'
--- a/doc/texinfo.tex   2019-05-30 18:17:27 +0000
+++ b/doc/texinfo.tex   2019-06-01 22:19:15 +0000
@@ -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{2019-05-18.15}
+\def\texinfoversion{2019-06-01.23}
 %
 % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc.
 %
@@ -5317,7 +5317,7 @@
 % the current value of \escapechar.
 \def\escapeisbackslash{\escapechar=`\\}
 
-% Use \ in index files by default.  texi2dvi didn't support @ as as the escape 
+% Use \ in index files by default.  texi2dvi didn't support @ as the escape 
 % character (as it checked for "\entry" in the files, and not "@entry").  When 
 % the new version of texi2dvi has had a chance to become more prevalent, then 
 % the escape character can change back to @ again.  This should be an easy 
@@ -5546,7 +5546,6 @@
       \enddoublecolumns
     \fi
   \else
-    \message{trying to print index \indexname}%
     \begindoublecolumns
     \catcode`\\=0\relax
     address@hidden
@@ -5867,7 +5866,7 @@
 }
 
 
-% Finished with with double columns.
+% Finished with double columns.
 \def\enddoublecolumns{%
   % The following penalty ensures that the page builder is exercised
   % _before_ we change the output routine.  This is necessary in the