Re-added (using GNU make anyway).

diff --git a/Makefile.inc b/Makefile.inc
new file mode 100644 (file)
index 0000000..dd724ba
--- /dev/null
+++ b/Makefile.inc
@@ -0,0 +1,23 @@
+## File to include in other Makefile's, defining common commands and rules
+# $Id$
+# $Name$
+
+define replace-VERSION
+  cd $(distdir); \
+  for file in $(VERSIONED_FILES); do \
+  sed 's/\@VERSION\@/${VERSION}/' $$file > $$file.new; \
+  rm $$file; \
+  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