From a5504ee040ec62d055996d505b9844d38de274de Mon Sep 17 00:00:00 2001
From: "Arnold D. Robbins" <arnold@skeeve.com>
Date: Thu, 31 Oct 2013 23:08:23 +0200
Subject: Add short title page to manual.

---
 doc/gawk.texi | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/gawk.texi')

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}
-- 
cgit v1.2.3