From 66f345b8f9cc2ae3b66aafddb532a21f6877b35c Mon Sep 17 00:00:00 2001 From: Karl Berry Date: Thu, 7 May 2020 23:54:42 +0000 Subject: tl-update-auto git-svn-id: svn://tug.org/texlive/trunk@55066 c570f23f-e606-0410-a88d-b1316a301751 --- Build/source/build-aux/texinfo.tex | 24 ++++++++++++++++++++---- 1 file changed, 20 insertions(+), 4 deletions(-) (limited to 'Build/source/build-aux') 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,} -- cgit v1.2.3