diff options
author | wlestes <wlestes> | 2008-12-28 18:15:33 +0000 |
---|---|---|
committer | wlestes <wlestes> | 2008-12-28 18:15:33 +0000 |
commit | 407e2609be2351671902bece33b23a96a8f77b6d (patch) | |
tree | 02f03781cdfa4f51a3bb9f204199d3aa1f5932fb | |
parent | 133dd1bd70d30813d6669a91da88740474dd3ddd (diff) | |
download | flex-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.texi | 6 |
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 |