From 407e2609be2351671902bece33b23a96a8f77b6d Mon Sep 17 00:00:00 2001
From: wlestes <wlestes>
Date: Sun, 28 Dec 2008 18:15:33 +0000
Subject: specify the title on the title page since @settitle doesn't do that
 for us; resolves bug #2043491

---
 doc/flex.texi | 6 +++---
 1 file 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
-- 
cgit v1.2.1