-## File to include in other Makefile's, defining common commands
+## File to include in other Makefile's, defining common commands and rules
# $Id$
# $Name$
mv $$file.new $$file; \
done
endef
+
+%.tabgen.h: %.tab.h
+ if [ ! -r $(srcdir)/$@ ] ; \
+ then \
+ touch $(srcdir)/$@; \
+ fi
+ if ! diff -q $< $(srcdir)/$@ > /dev/null; \
+ then \
+ rm $(srcdir)/$@; \
+ cp $(srcdir)/$< $(srcdir)/$@; \
+ fi