From 68e7151feb12fb320e73fa91cd7262754f141362 Mon Sep 17 00:00:00 2001
From: Karl Berry <karl@freefriends.org>
Date: Wed, 6 May 2020 08:15:00 -0700
Subject: [PATCH] autoupdate

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

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index 427494cbbf..3d7e66ae88 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{2020-05-02.00}
+\def\texinfoversion{2020-05-05.16}
 %
 % Copyright 1985, 1986, 1988, 1990-2019 Free Software Foundation, Inc.
 %
@@ -2499,7 +2499,7 @@ end
 \def\it{\fam=\itfam \setfontstyle{it}}
 \def\sl{\fam=\slfam \setfontstyle{sl}}
 \def\bf{\fam=\bffam \setfontstyle{bf}}\def\bfstylename{bf}
-\def\tt{\fam=\ttfam \setfontstyle{tt}}
+\def\tt{\fam=\ttfam \setfontstyle{tt}}\def\ttstylename{tt}
 
 % Texinfo sort of supports the sans serif font style, which plain TeX does not.
 % So we set up a \sf.
@@ -3661,11 +3661,27 @@ end
 \fi
 
 % Quotes.
-\chardef\quotedblleft="5C
-\chardef\quotedblright=`\"
 \chardef\quoteleft=`\`
 \chardef\quoteright=`\'
 
+% only change font for tt for correct kerning and to avoid using
+% \ecfont unless necessary.
+\def\quotedblleft{%
+  \ifx\curfontstyle\ttstylename
+    {\ecfont\char"10}%
+  \else
+    {\char"5C}%
+  \fi
+}
+
+\def\quotedblright{%
+  \ifx\curfontstyle\ttstylename
+    {\ecfont\char"11}%
+  \else
+    {\char`\"}%
+  \fi
+}
+
 
 \message{page headings,}
 
-- 
2.39.5