From 2d21eb0f045447d8257933886d659795d6f44086 Mon Sep 17 00:00:00 2001
From: Will Estes <wlestes@users.sourceforge.net>
Date: Sun, 28 Dec 2008 18:15:33 +0000
Subject: [PATCH] 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
-- 
2.40.0