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 | bcd11d854bcc3c1d7a661dbb20f219694ff48492 (patch) | |
tree | b5d2a33eab127c7d27f4a35f48fc56acf5600c01 /w32/compat/dirent.c | |
parent | bb01a1a810a03046c05b757c2c88d98651f5e452 (diff) | |
download | gunmake-bcd11d854bcc3c1d7a661dbb20f219694ff48492.tar.gz |
(\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 'w32/compat/dirent.c')
0 files changed, 0 insertions, 0 deletions