titlepage and contents

diff --git a/flex.texi b/flex.texi
index d80279b129df5cf6b669b38ed3868133f51f7acc..d0575166ef0b26c3837d215eaec770ba8849d184 100644 (file)
--- 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