github-repos/make
1
0
Fork 0
mirror of https://github.com/mirror/make.git synced 2025-01-31 14:51:19 +08:00
Code Issues Packages Projects Releases Wiki Activity

* texinfo.tex (\ninettsl): cmsltt10 is not standard, so use

Browse Source 
cmsltt10 scaled 900.
 	Date: Mon, 15 Jun 1998 12:35:41 +0200 (MET DST)
 	From: Werner Struckmann <struck@ips.cs.tu-bs.de>.
This commit is contained in:
Karl Berry 1998-06-22 13:00:05 +00:00
parent 4f79de612b
commit 20258f42d4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
texinfo.tex
View File

@ -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 % Do not make many font distinctions in general in the index, since they
% aren't very useful. % aren't very useful.
\setfont\ninett\ttshape{9}{1000} \setfont\ninett\ttshape{9}{1000}
\setfont\ninettsl\ttslshape{9}{1000} \setfont\ninettsl\ttslshape{10}{900}
\setfont\indrm\rmshape{9}{1000} \setfont\indrm\rmshape{9}{1000}
\setfont\indit\slshape{9}{1000} \setfont\indit\slshape{9}{1000}
\let\indsl=\indit \let\indsl=\indit