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 | 132e0eda6c9f3f6a3e868e790b3cd355f55e9002 (patch) | |
| tree | 6088568aa3f2aaa7c76b26650e0af160613bb21f /gpl.texinfo | |
| parent | c297b2fbd50b87fb9f06f1b55357a180530b1aac (diff) | |
| download | gunmake-132e0eda6c9f3f6a3e868e790b3cd355f55e9002.tar.gz | |
(\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.
Diffstat (limited to 'gpl.texinfo')
0 files changed, 0 insertions, 0 deletions