diff options
Diffstat (limited to 'doc/gawktexi.in')
| -rw-r--r-- | doc/gawktexi.in | 1 |
1 files changed, 1 insertions, 0 deletions
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} |