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 1dba7a7c..f7529fc6 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 bc4f4459..d90df1b7 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 9d50db20..e099c9a8 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} |