summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorWill Estes <wlestes@users.sourceforge.net>2008-12-28 18:15:33 +0000
committerWill Estes <wlestes@users.sourceforge.net>2008-12-28 18:15:33 +0000
commit2d21eb0f045447d8257933886d659795d6f44086 (patch)
treefef791643a37c4ab90d1a9501635607ad302331a /doc
parent6fd73cb592f580362a805aad926a7fab3aede4db (diff)
specify the title on the title page since @settitle doesn't do that for us; resolves bug #2043491
Diffstat (limited to 'doc')
-rw-r--r--doc/flex.texi6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/flex.texi b/doc/flex.texi
index 4df2143..7b64f33 100644
--- 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