+# If we're checked out from a Git repository, make sure that every
+# file that is in Git is distributed.
+dist-hook-git:
+ if test -e $(srcdir)/.git && (git --version) >/dev/null 2>&1; then \
+ rc=0; \
+ for d in `cd $(srcdir) && git ls-files`; do \
+ if test ! -e $(distdir)/$$d; then \
+ case $$d in # ( \
+ .gitignore|*/.gitignore) ;; # ( \
+ *) \
+ if test $$rc = 0; then \
+ echo "The distribution is missing the following files:"; \
+ rc=1; \
+ fi; \
+ echo "$$d"; \
+ ;; \
+ esac; \
+ fi \
+ done; \
+ exit $$rc; \
+ fi
+DIST_HOOKS += dist-hook-git
+
+dist-hook: $(DIST_HOOKS)
+all-local: $(ALL_LOCAL)
+.PHONY: $(DIST_HOOKS)
+