On Wed, 4 Oct 2006, Paolo Bonzini wrote: > As a small prod, here's the patch to implement the renaming.
Sorry for the delay. This patch seems fine, so please commit it. In your ChangeLog entry, please mention that we discussed this starting here: http://lists.gnu.org/archive/html/bison-patches/2006-10/msg00002.html Maybe it's overkill, but I find that it helps when trying to remember the rationale behind a change. After you commit this patch, I'm going to try to clean up the manual some more to make these new directives a little clearer. Please do not commit your NEWS patch. We need a new entry rather than a rewrite of the old one. I'll work on that to make it consistent with my improvements to the manual. Thanks.
