diff options
| -rw-r--r-- | doc/flex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 9087622..1528f14 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -2780,7 +2780,7 @@ When this option is used, however, then no such call is made. @opindex ---never-interactive -@item --never-interactive, @code{--never-interactive} +@item --never-interactive, @code{%option never-interactive} instructs flex to generate a scanner which never considers its input interactive. This is the opposite of @code{always-interactive}. |