X-Git-Url: https://git.saurik.com/bison.git/blobdiff_plain/23ce6f4cb35ec3b966d01f9236196665e58e3dd6..87f28efe7ee4f4af0379ffa3e502f1c4008a3a51:/doc/local.mk?ds=inline

diff --git a/doc/local.mk b/doc/local.mk
index d54952f0..d1397904 100644
--- 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)