summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorwlestes <wlestes>2008-12-28 18:15:33 +0000
committerwlestes <wlestes>2008-12-28 18:15:33 +0000
commit407e2609be2351671902bece33b23a96a8f77b6d (patch)
tree02f03781cdfa4f51a3bb9f204199d3aa1f5932fb
parent133dd1bd70d30813d6669a91da88740474dd3ddd (diff)
downloadflex-407e2609be2351671902bece33b23a96a8f77b6d.tar.gz
specify the title on the title page since @settitle doesn't do that for us; resolves bug #2043491
-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