summaryrefslogtreecommitdiff
path: root/Build
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-05-07 23:54:42 +0000
committerKarl Berry <karl@freefriends.org>2020-05-07 23:54:42 +0000
commit66f345b8f9cc2ae3b66aafddb532a21f6877b35c (patch)
tree6fe157c1549728c28ea9a9a2036d88130066e657 /Build
parent531b96b5da42d934afbaf8e8c6e08ad60175aa86 (diff)
tl-update-auto
git-svn-id: svn://tug.org/texlive/trunk@55066 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r--Build/source/build-aux/texinfo.tex24
1 files changed, 20 insertions, 4 deletions
diff --git a/Build/source/build-aux/texinfo.tex b/Build/source/build-aux/texinfo.tex
index 427494cbbfc..3d7e66ae88a 100644
--- a/Build/source/build-aux/texinfo.tex
+++ b/Build/source/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,}