Mercurial > gnulib

changeset 17040:2b2ed538a898

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update from texinfo
author Karl Berry <karl@freefriends.org>
date Mon, 13 Aug 2012 15:48:24 -0700
parents e5d33904a8b2
children 01ed4bc06f28
files build-aux/texinfo.tex
diffstat 1 files changed, 10 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- a/build-aux/texinfo.tex	Mon Aug 13 12:49:34 2012 +0200
+++ b/build-aux/texinfo.tex	Mon Aug 13 15:48:24 2012 -0700
@@ -3146,12 +3146,17 @@
   % 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
 }