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 /makefile.vms | |
| 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 'makefile.vms')
0 files changed, 0 insertions, 0 deletions