diff options
author | Karl Berry <karl@freefriends.org> | 2020-05-06 08:15:00 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-05-06 08:15:00 -0700 |
commit | 68e7151feb12fb320e73fa91cd7262754f141362 (patch) | |
tree | ce2dd8d43d97b55f13b5fa4c493acbacb67e4982 /build-aux/texinfo.tex | |
parent | 0747bf0a92c8e0e7601fca9f33af1ae62d9c1e57 (diff) | |
download | gnulib-68e7151feb12fb320e73fa91cd7262754f141362.tar.gz |
autoupdate
Diffstat (limited to 'build-aux/texinfo.tex')
-rw-r--r-- | build-aux/texinfo.tex | 24 |
1 files 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,} |