Re: [PATCH 08/12] doc: introduce %empty and -Wempty-rule

[Akim Demaille]

The following fixup will be merged into this patch.
The use of %empty below is in the current section
of NEWS.

commit c20a1a03e09cbf22e513788075cb2a46681a2a00
Author: Akim Demaille <address@hidden>
Date:   Sat Feb 16 15:04:41 2013 +0100

    fixup! doc: use %empty instead of /* empty */

diff --git a/NEWS b/NEWS
index 564b087..63aeacd 100644
--- a/NEWS
+++ b/NEWS
@@ -364,6 +364,8 @@ GNU Bison NEWS
 
 ** Empty rules
 
+  With help from Joel E. Denny and Gabriel Rassoul.
+
   Empty rules (i.e., with an empty right-hand side) can now be explicitly
   marked by the new %empty directive.  Using %empty on a non-empty rule is
   an error.  The new -Wempty-rule warning reports empty rules without
@@ -432,7 +434,7 @@ GNU Bison NEWS
     ;
 
     list:
-      /* nothing */ { /* Generates an empty string list */ }
+      %empty        { /* Generates an empty string list. */ }
     | list item ";" { std::swap ($$, $1); $$.push_back ($2); }
     ;