From beaa541dc5b21b607711344eb6bec48179fc0f92 Mon Sep 17 00:00:00 2001
From: Will Estes <wlestes@users.sourceforge.net>
Date: Mon, 21 Oct 2002 15:28:19 +0000
Subject: [PATCH] titlepage and contents

---
 flex.texi | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/flex.texi b/flex.texi
index d80279b..d057516 100644
--- a/flex.texi
+++ b/flex.texi
@@ -13,6 +13,20 @@
 @end direntry
 @c %**end of header
 
+@titlepage
+@title Flex, version @value{VERSION}
+@subtitle A fast scanner generator
+@subtitle Edition @value{EDITION}, @value{UPDATED}
+@author Vern Paxson
+@author W. L. Estes
+@author John Millaway
+@page
+@vskip 0pt plus 1filll
+The copying conditions for the @code{flex} manual can be found in section
+@ref{Copyright}
+@end titlepage
+@contents
+
 @node Top, Copyright, (dir), (dir)
 @top flex
 
-- 
2.50.1