projects / platform / upstream / glibc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b3a222) | patch
(\indexfonts): Make leading be 12pt. Otherwise, it's too crammed. (\smalllispx):...
authorKarl Berry <karl@gnu.org>
Mon, 29 Jul 1996 19:08:10 +0000 (19:08 +0000)
committerKarl Berry <karl@gnu.org>
Mon, 29 Jul 1996 19:08:10 +0000 (19:08 +0000)
commitea6631a23db45675d5126141584cb62570e1499f
tree3a80c2fe938c15662ae02f46d7a4adbd97e7b774tree | snapshot
parent6b3a22241612763d4c36fc6f038fa073e528117acommit | diff
(\indexfonts): Make leading be 12pt. Otherwise, it's too crammed. (\smalllispx): Remove \setleading{10pt}. That was too small. (\doprintindex): Do not call \tex ... \Etex.  Index files are Texinfo source, not TeX source, except for using \ instead of @ as the escape character (for now).
manual/texinfo.tex diff | blob | history
Domain: System / Toolchain;