Updated manual for %option header.

diff --git a/flex.texi b/flex.texi
index 8559355885feadcb1d766e1d8f5ac6c2b85fbb32..0ee030a3745eb150cad15ff4c977d8ca564b794f 100644 (file)
--- a/flex.texi
+++ b/flex.texi
@@ -2358,6 +2358,7 @@ The result is large but fast.  This option is equivalent to
 generates a ``help'' summary of @code{flex}'s options to @file{stdout}
 and then exits.
 
+@anchor{option-header}
 @item --header=FILE
 instructs flex to write a C header to @file{FILE}. This file contains
 function prototypes, extern variables, and macros used by the scanner.
@@ -3831,6 +3832,9 @@ The above code may be called from within an action like this:
 @end verbatim
 @end example
 
+You may find that @code{%option header} is particularly useful for generating
+prototypes of all the accessor functions. @xref{option-header}.
+
 @node Extra Data
 @subsection Extra Data