(\onepageout): Leave only one line space above the footline, to be more like plain.
authorKarl Berry <karl@gnu.org>
Thu, 3 Jul 1997 20:52:37 +0000 (20:52 +0000)
committerKarl Berry <karl@gnu.org>
Thu, 3 Jul 1997 20:52:37 +0000 (20:52 +0000)
commitecfcbd6db93b2a89c719b20a098fd0ef0783cbe0
treead5f1678ed0215052e7e4c73a15e62aebc5add1c
parente50ab9ee27eb6252b7f47b7a7dce080d02db377a
(\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
gcc/texinfo.tex