diff options
author | Will Estes <westes575@gmail.com> | 2021-06-05 14:21:51 -0400 |
---|---|---|
committer | Will Estes <westes575@gmail.com> | 2021-06-05 14:21:51 -0400 |
commit | 83aaf1b4ce146f0c2f7cf18e932457d5dba039b1 (patch) | |
tree | d39abe08eb98b050b5d37cd724bb14d883c1ffb0 | |
parent | cb2e0aaccaa9b17dc00362fbac5aa294da466d64 (diff) | |
parent | 1d27d6343e05fe1d0b5be035689ad468fc40223e (diff) | |
download | flex-git-83aaf1b4ce146f0c2f7cf18e932457d5dba039b1.tar.gz |
Merge branch 'doc_fix_typo' of git://github.com/houtanb/flex into houtanb-doc_fix_typo
-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}. |