diff options
-rw-r--r-- | NEWS | 6 | ||||
-rw-r--r-- | doc/bison.texi | 6 |
2 files changed, 10 insertions, 2 deletions
@@ -37,6 +37,10 @@ GNU Bison NEWS When given -fsyntax-only, the diagnostics are reported, but no output is generated. + The name of this option is somewhat misleading as bison does more than + just checking the syntax: every stage is run (including checking for + conflicts for instance), except the generation of the output files. + *** Include the generated header (yacc.c) Before, when --defines is used, bison generated a header, and pasted an @@ -102,7 +106,7 @@ GNU Bison NEWS *** Generated reports - The format of the reports (parse.output) was improved for readadibility. + The format of the reports (parse.output) was improved for readability. *** Better support for --no-line. diff --git a/doc/bison.texi b/doc/bison.texi index 4f29c837..93f3796d 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -10616,7 +10616,11 @@ The fix-its are applied by @command{bison} itself when given the option @option{-u}/@option{--update}. See its documentation above. @item syntax-only -Do not generate the output files. +Do not generate the output files. The name of this feature is somewhat +misleading as more than just checking the syntax is done: every stage is run +(including checking for conflicts for instance), except the generation of +the output files. + @end table @end table |