summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS6
-rw-r--r--doc/bison.texi6
2 files changed, 10 insertions, 2 deletions
diff --git a/NEWS b/NEWS
index d2131125..b0da7ecd 100644
--- a/NEWS
+++ b/NEWS
@@ -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