diff options
| author | Karl Berry <karl@freefriends.org> | 2012-08-16 22:41:08 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2012-08-16 22:41:08 +0000 |
| commit | ca1c73f9a8de69e467230c4a57ccf8b07cd275a9 (patch) | |
| tree | 6272657307f73c14327d6b8bce5d6b7ff97c3f66 /Master/texmf-dist/tex/texinfo | |
| parent | 22c251adda514ed7b453066de05b2f89707d0fe6 (diff) | |
finish l3 update
git-svn-id: svn://tug.org/texlive/trunk@27427 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/texinfo')
| -rw-r--r-- | Master/texmf-dist/tex/texinfo/texinfo.tex | 15 |
1 files changed, 10 insertions, 5 deletions
diff --git a/Master/texmf-dist/tex/texinfo/texinfo.tex b/Master/texmf-dist/tex/texinfo/texinfo.tex index c7354edcaf9..dc4bf6400c4 100644 --- a/Master/texmf-dist/tex/texinfo/texinfo.tex +++ b/Master/texmf-dist/tex/texinfo/texinfo.tex @@ -3146,12 +3146,17 @@ end % hopefully nobody will notice/care. \edef\ecsize{\csname\curfontsize ecsize\endcsname}% \edef\nominalsize{\csname\curfontsize nominalsize\endcsname}% - \ifx\curfontstyle\bfstylename - % bold: - \font\thisecfont = ecb\ifusingit{i}{x}\ecsize \space at \nominalsize + \ifmonospace + % typewriter: + \font\thisecfont = ectt\ecsize \space at \nominalsize \else - % regular: - \font\thisecfont = ec\ifusingit{ti}{rm}\ecsize \space at \nominalsize + \ifx\curfontstyle\bfstylename + % bold: + \font\thisecfont = ecb\ifusingit{i}{x}\ecsize \space at \nominalsize + \else + % regular: + \font\thisecfont = ec\ifusingit{ti}{rm}\ecsize \space at \nominalsize + \fi \fi \thisecfont } |