diff options
| author | Karl Berry <karl@gnu.org> | 1998-06-22 13:00:05 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1998-06-22 13:00:05 +0000 |
| commit | 20258f42d47024e25655a125911ff8271e144860 (patch) | |
| tree | 4ce2808b07b9578a81bbdbbb1fe3d882fccc7ec7 | |
| parent | 4f79de612bac5da5ec172283c2c4147d2fd3753f (diff) | |
| download | gunmake-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>.
| -rw-r--r-- | texinfo.tex | 2 |
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 |