diff options
author | Will Estes <wlestes@users.sourceforge.net> | 2007-04-03 19:16:36 +0000 |
---|---|---|
committer | Will Estes <wlestes@users.sourceforge.net> | 2007-04-03 19:16:36 +0000 |
commit | 9bc78e60faf923eb2e3627d8a7626926b2e5e64d (patch) | |
tree | e2a49d511a5e42701b07f46f5d427979262db317 /doc | |
parent | 0cc399e4e89f4da4dd09d55aaabefd4b5c8bcafe (diff) |
include author names in online versions of the manual
Diffstat (limited to 'doc')
-rw-r--r-- | doc/flex.texi | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index dcad667..6b190bb 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -1,8 +1,9 @@ \input texinfo.tex @c -*-texinfo-*- @c %**start of header @setfilename flex.info -@settitle flex: a fast lexical analyzer generator +@settitle Flex: The Fast Lexical Analyzer Generator @include version.texi +@set authors Vern Paxson, Will Estes and John Millaway @c "Macro Hooks" index @defindex hk @c "Options" index @@ -18,6 +19,9 @@ The flex manual is placed under the same licensing conditions as the rest of flex: +Copyright @copyright{} 2001, 2002, 2003, 2004, 2005, 2006, 2007 The Flex +Project. + Copyright @copyright{} 1990, 1997 The Regents of the University of California. All rights reserved. @@ -54,18 +58,16 @@ PURPOSE. @end copying @titlepage -@title Flex, version @value{VERSION} +@title Flex @subtitle A fast scanner generator @subtitle Edition @value{EDITION}, @value{UPDATED} -@author Vern Paxson -@author W. L. Estes -@author John Millaway +@author @value{authors} @page @vskip 0pt plus 1filll @insertcopying @end titlepage @contents - +@ifnottex @node Top, Copyright, (dir), (dir) @top flex @@ -76,6 +78,8 @@ reference sections. This edition of @cite{The flex Manual} documents @code{flex} version @value{VERSION}. It was last updated on @value{UPDATED}. +This manual was written by @value{authors}. + @menu * Copyright:: * Reporting Bugs:: @@ -278,7 +282,7 @@ Indices @end detailmenu @end menu - +@end ifnottex @node Copyright, Reporting Bugs, Top, Top @chapter Copyright |