+
+%.tabgen.h: %.tab.h
+ @if [ ! -r $(srcdir)/$@ ] ; \
+ then \
+ echo "Creating empty file for $@"; \
+ touch $(srcdir)/$@; \
+ fi
+ @if diff $< $(srcdir)/$@ > /dev/null 2>&1; \
+ then \
+ : ; \
+ else \
+ echo "Updating $@"; \
+ rm $(srcdir)/$@; \
+ cp $(srcdir)/$< $(srcdir)/$@; \
+ fi