diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ChangeLog | 4 | ||||
| -rw-r--r-- | doc/gawk.texi | 1 | ||||
| -rw-r--r-- | doc/gawktexi.in | 1 |
3 files changed, 6 insertions, 0 deletions
diff --git a/doc/ChangeLog b/doc/ChangeLog index 98919ca6..a0cbfb13 100644 --- a/doc/ChangeLog +++ b/doc/ChangeLog @@ -1,3 +1,7 @@ +2013-10-31 Arnold D. Robbins <arnold@skeeve.com> + + * gawktexi.in: Add @shorttitlepage command. + 2013-10-25 Arnold D. Robbins <arnold@skeeve.com> * gawktexi.in (Contributors): Update with more info. diff --git a/doc/gawk.texi b/doc/gawk.texi index e1aeefc5..b651aa9c 100644 --- a/doc/gawk.texi +++ b/doc/gawk.texi @@ -194,6 +194,7 @@ supports it in developing GNU and promoting software freedom.'' @c during editing and review. @setchapternewpage odd +@shorttitlepage @value{TITLE} @titlepage @title @value{TITLE} @subtitle @value{SUBTITLE} diff --git a/doc/gawktexi.in b/doc/gawktexi.in index 2a6ea38a..9c30446e 100644 --- a/doc/gawktexi.in +++ b/doc/gawktexi.in @@ -189,6 +189,7 @@ supports it in developing GNU and promoting software freedom.'' @c during editing and review. @setchapternewpage odd +@shorttitlepage @value{TITLE} @titlepage @title @value{TITLE} @subtitle @value{SUBTITLE} |