Hi,
I frequently run make maintainer-check during Bison development. I don't
see a need to update VERSION every time. Is the following patch
acceptable, or would it be better to rename maintainer-check* to something
else in Bison?
--- ../../gnulib/top/GNUmakefile2008-08-06 18:31:57.0
On Thu, Aug 07, 2008 at 07:37:47AM -0600, Eric Blake wrote:
> Therefore I would appreciate some feedback
> before making the 1.4.12 release (if you encounter a testsuite failure in
> the m4 suite, please rerun with 'make -k check' before reporting it, so
> that the gnulib testsuite is also run).
>
