change title of manual to 'Lexical Analysis with Flex'

diff --git a/doc/flex.texi b/doc/flex.texi
index 5cb76c441d0cf21c34a38dafbfb2c5d613d01f27..14f928607b5bdcbbef226b72728f83781ffc4dea 100644 (file)
--- a/doc/flex.texi
+++ b/doc/flex.texi
@@ -1,7 +1,7 @@
 \input texinfo.tex @c -*-texinfo-*-
 @c %**start of header
 @setfilename flex.info
-@settitle Flex: The Fast Lexical Analyzer Generator
+@settitle Lexical Analysis With Flex
 @include version.texi
 @set authors Vern Paxson, Will Estes and John Millaway
 @c  "Macro Hooks" index
@@ -58,8 +58,7 @@ PURPOSE.
 @end copying
 
 @titlepage
-@title Flex
-@subtitle A fast scanner generator
+@title @value{title}
 @subtitle Edition @value{EDITION}, @value{UPDATED}
 @author @value{authors}
 @page