- for f in *.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 \
+ if test -f index.html; then d=.; else d="$(srcdir)"; fi; \
+ for p in $$d/*.html; do \
+ cp $$p $(distdir); \
+ done
+
+doc-clean:
+ rm -f *.html *.[0-9] *.pdf
+
+install-data-hook:
+ if test -f index.html; then d=.; else d="$(srcdir)"; fi; \
+ for p in $$d/*.html; do \
+ $(INSTALL_DATA) $$p $(DESTDIR)$(docdir); \