diff options
Diffstat (limited to 'doc/flex.texi')
-rwxr-xr-x | doc/flex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 28499f1..0302e5d 100755 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -2872,7 +2872,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}. |