summaryrefslogtreecommitdiff
path: root/texinfo.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@gnu.org>1998-06-22 13:00:05 +0000
committerKarl Berry <karl@gnu.org>1998-06-22 13:00:05 +0000
commit20258f42d47024e25655a125911ff8271e144860 (patch)
tree4ce2808b07b9578a81bbdbbb1fe3d882fccc7ec7 /texinfo.tex
parent4f79de612bac5da5ec172283c2c4147d2fd3753f (diff)
downloadgunmake-20258f42d47024e25655a125911ff8271e144860.tar.gz
* texinfo.tex (\ninettsl): cmsltt10 is not standard, so use
cmsltt10 scaled 900. Date: Mon, 15 Jun 1998 12:35:41 +0200 (MET DST) From: Werner Struckmann <struck@ips.cs.tu-bs.de>.
Diffstat (limited to 'texinfo.tex')
-rw-r--r--texinfo.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/texinfo.tex b/texinfo.tex
index 284d699..84d6683 100644
--- a/texinfo.tex
+++ b/texinfo.tex
@@ -1190,7 +1190,7 @@ where each line of input produces a line of output.}
% Do not make many font distinctions in general in the index, since they
% aren't very useful.
\setfont\ninett\ttshape{9}{1000}
-\setfont\ninettsl\ttslshape{9}{1000}
+\setfont\ninettsl\ttslshape{10}{900}
\setfont\indrm\rmshape{9}{1000}
\setfont\indit\slshape{9}{1000}
\let\indsl=\indit