diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2008-12-28 18:15:33 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2008-12-28 18:15:33 +0000 |
commit | 2d21eb0f045447d8257933886d659795d6f44086 (patch) | |
tree | fef791643a37c4ab90d1a9501635607ad302331a | |
parent | 6fd73cb592f580362a805aad926a7fab3aede4db (diff) |
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 |