Fix glr.cc's debug level handling.

[bison.git] / doc / local.mk

diff --git a/doc/local.mk b/doc/local.mk
index d54952f0eb993ed5930571d9b00f43cdf5971b44..d13979049f67edb464875f0c4421beb978fc7983 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -29,9 +29,12 @@ clean-local:
 CROSS_OPTIONS_PL = $(top_srcdir)/build-aux/cross-options.pl
 CROSS_OPTIONS_TEXI = $(top_srcdir)/doc/cross-options.texi
 $(CROSS_OPTIONS_TEXI): $(top_srcdir)/src/getargs.c $(CROSS_OPTIONS_PL)
-       -rm -f $@ $@.tmp
+       mv -f $@ $@~ || : >$@~
+       -rm -f $@.tmp
        $(MAKE) $(AM_MAKEFLAGS) src/bison$(EXEEXT)
-       $(top_builddir)/src/bison --help | perl $(CROSS_OPTIONS_PL) >$@.tmp
+       $(top_builddir)/src/bison --help |                              \
+       perl $(CROSS_OPTIONS_PL) $(top_srcdir)/src/scan-gram.l >$@.tmp
+       diff -u $@~ $@.tmp || true
        mv $@.tmp $@
 MAINTAINERCLEANFILES = $(CROSS_OPTIONS_TEXI)