-## 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 $@ ] ; \
+ then \
+ touch $@; \
+ fi
+ if ! diff -q $< $@ > /dev/null; \
+ then \
+ rm $@; \
+ cp $< $@; \
+ fi