diff options
| author | Karl Berry <karl@gnu.org> | 1997-07-03 20:52:37 +0000 |
|---|---|---|
| committer | Karl Berry <karl@gnu.org> | 1997-07-03 20:52:37 +0000 |
| commit | ecfcbd6db93b2a89c719b20a098fd0ef0783cbe0 (patch) | |
| tree | ad5f1678ed0215052e7e4c73a15e62aebc5add1c /gcc/final.c | |
| parent | e50ab9ee27eb6252b7f47b7a7dce080d02db377a (diff) | |
| download | gcc-ecfcbd6db93b2a89c719b20a098fd0ef0783cbe0.zip gcc-ecfcbd6db93b2a89c719b20a098fd0ef0783cbe0.tar.gz gcc-ecfcbd6db93b2a89c719b20a098fd0ef0783cbe0.tar.bz2 | |
(\onepageout): Leave only one line space above the footline, to be more like plain.
(\onepageout): Leave only one line space above the footline, to be more
like plain. Suggested by Stephen Gildea.
(\evenfootline): Left one too many line spaces here, so reduce by two.
(\ifnottex): Another ignore command.
(\ifnothtml,\ifnotinfo): New commands.
(\doignore): Ignore brace characters, so mismatched braces in ignored
text do not cause complaints.
From-SVN: r14385
Diffstat (limited to 'gcc/final.c')
0 files changed, 0 insertions, 0 deletions