summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim.demaille@gmail.com>2020-07-23 07:03:38 +0200
committerAkim Demaille <akim.demaille@gmail.com>2020-07-23 09:17:18 +0200
commit79e68b6c4da597472adb28130417b869c79d388d (patch)
tree49df60a5ff60e629a2007c548f6917e3b6548936
parent5cb74cacd8174ba5230151abc91aeeaafb9fa8a0 (diff)
downloadbison-79e68b6c4da597472adb28130417b869c79d388d.tar.gz
doc: fix definition of -Wall
* doc/bison.texi (Diagnostics): here.
-rw-r--r--NEWS2
-rw-r--r--doc/bison.texi3
2 files changed, 3 insertions, 2 deletions
diff --git a/NEWS b/NEWS
index d42ada62..e39a4c05 100644
--- a/NEWS
+++ b/NEWS
@@ -19,7 +19,7 @@ GNU Bison NEWS
Contributed by Vincent Imbimbo.
When given `-Wcounterexamples`/`-Wcex`, bison will now output
- counterexamples for conflicts in the grammar.
+ counterexamples for conflicts.
**** Unifying Counterexamples
diff --git a/doc/bison.texi b/doc/bison.texi
index 115c111c..8c8580de 100644
--- a/doc/bison.texi
+++ b/doc/bison.texi
@@ -11586,7 +11586,8 @@ releases of Bison may move warnings from this category to new, more specific
categories.
@item @anchor{Wall}all
-All the warnings except @code{dangling-alias} and @code{yacc}.
+All the warnings except @code{counterexamples}, @code{dangling-alias} and
+@code{yacc}.
@item @anchor{Wnone}none
Turn off all the warnings.