From b8e6ceb712d1c808553af50517b0267f096c8468 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Sun, 2 Jun 2019 07:50:44 -0700
Subject: autoupdate

---
 build-aux/texinfo.tex | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

(limited to 'build-aux/texinfo.tex')

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index 53f2fc4835..ed3f0ee98f 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{2019-05-18.15}
+\def\texinfoversion{2019-06-01.23}
 %
 % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc.
 %
@@ -5317,7 +5317,7 @@ end
 % 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 @@ might help (with 'rm \jobname.?? \jobname.??s')%
       \enddoublecolumns
     \fi
   \else
-    \message{trying to print index \indexname}%
     \begindoublecolumns
     \catcode`\\=0\relax
     \catcode`\@=12\relax
@@ -5867,7 +5866,7 @@ might help (with 'rm \jobname.?? \jobname.??s')%
 }
 
 
-% 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
-- 
cgit v1.2.1

