- 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 \