diff options
author | Houtan Bastani <houtan@dynare.org> | 2018-11-26 15:51:23 +0100 |
---|---|---|
committer | Houtan Bastani <houtan@dynare.org> | 2018-11-26 15:51:23 +0100 |
commit | 1d27d6343e05fe1d0b5be035689ad468fc40223e (patch) | |
tree | 2ed37a568c0c5d3f6a85985c3288a0e683322cb4 | |
parent | 98018e3f58d79e082216d406866942841d4bdf8a (diff) | |
download | flex-git-1d27d6343e05fe1d0b5be035689ad468fc40223e.tar.gz |
doc: fix typo
-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}. |