specify the title on the title page since @settitle doesn't do that for us; resolves...

diff --git a/doc/flex.texi b/doc/flex.texi
index 4df2143d45235e9f49f2a20bb48dcd9dd8cc97c1..7b64f33d336291baed223fddd48d4e4e52bd2f7f 100644 (file)
--- a/doc/flex.texi
+++ b/doc/flex.texi
@@ -1,8 +1,8 @@
 \input texinfo.tex @c -*-texinfo-*-
 @c %**start of header
-@setfilename flex.info
-@settitle Lexical Analysis With Flex
 @include version.texi
+@setfilename flex.info
+@settitle Lexical Analysis With Flex, for Flex @value{@version}
 @set authors Vern Paxson, Will Estes and John Millaway
 @c  "Macro Hooks" index
 @defindex hk
@@ -58,7 +58,7 @@ PURPOSE.
 @end copying
 
 @titlepage
-@title @value{title}
+@title Lexical Analysis with Flex
 @subtitle Edition @value{EDITION}, @value{UPDATED}
 @author @value{authors}
 @page