diff options
| author | Karl Berry <karl@gnu.org> | 1996-07-29 19:08:10 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1996-07-29 19:08:10 +0000 |
| commit | ea6631a23db45675d5126141584cb62570e1499f (patch) | |
| tree | 3a80c2fe938c15662ae02f46d7a4adbd97e7b774 /getopt.h | |
| parent | 6b3a22241612763d4c36fc6f038fa073e528117a (diff) | |
| download | glibc-ea6631a23db45675d5126141584cb62570e1499f.tar.gz glibc-ea6631a23db45675d5126141584cb62570e1499f.tar.xz glibc-ea6631a23db45675d5126141584cb62570e1499f.zip | |
(\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).
Diffstat (limited to 'getopt.h')
0 files changed, 0 insertions, 0 deletions