diff options
| author | Arnold D. Robbins <arnold@skeeve.com> | 2013-10-31 23:08:23 +0200 |
|---|---|---|
| committer | Arnold D. Robbins <arnold@skeeve.com> | 2013-10-31 23:08:23 +0200 |
| commit | a5504ee040ec62d055996d505b9844d38de274de (patch) | |
| tree | 90f116d382e7f2fcb653ad216d33fadba4a4d41b | |
| parent | 1922c58b200686f05cf2e13d53f053e88f0d5d22 (diff) | |
| download | egawk-a5504ee040ec62d055996d505b9844d38de274de.tar.gz egawk-a5504ee040ec62d055996d505b9844d38de274de.tar.bz2 egawk-a5504ee040ec62d055996d505b9844d38de274de.zip | |
Add short title page to manual.
| -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} |