+dist-hook:
+ for f in $(srcdir)/*.html; do \
+ found=0; \
+ b=`basename $$f`; \
+ for h in $(HTMLFILES); do \
+ if test "$$h" = "$$b"; then \
+ found=1; \
+ fi \
+ done; \
+ if test "$$found" = "0"; then \
+ echo "$$h not found in HTMLFILES"; \
+ exit 1; \
+ fi \
+ done
+
+