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 | bc60d5ea766c536db7925290efb9f682e9f49e21 (patch) | |
| tree | c88ae7de3925fcf615249f63f8de6bda58761f7a /gcc/local-alloc.c | |
| parent | 1e0e41d2317391bdccaff26d9d8ea01201f06409 (diff) | |
| download | gcc-bc60d5ea766c536db7925290efb9f682e9f49e21.zip gcc-bc60d5ea766c536db7925290efb9f682e9f49e21.tar.gz gcc-bc60d5ea766c536db7925290efb9f682e9f49e21.tar.bz2 | |
(\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).
From-SVN: r12573
Diffstat (limited to 'gcc/local-alloc.c')
0 files changed, 0 insertions, 0 deletions