From 1d27d6343e05fe1d0b5be035689ad468fc40223e Mon Sep 17 00:00:00 2001 From: Houtan Bastani Date: Mon, 26 Nov 2018 15:51:23 +0100 Subject: doc: fix typo --- doc/flex.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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}. -- cgit v1.2.1