diff -r d3ae1f06843d -r d12508c2a007 doc/Makefile.am
--- a/doc/Makefile.am	Fri Apr 29 13:31:41 2005 +0000
+++ b/doc/Makefile.am	Mon May 02 05:49:33 2005 +0000
@@ -16,8 +16,7 @@
 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
 ## INPUT variable.
 html/index.html:
-	-rm -rf html
-	doxygen Doxyfile
+	if test ${doxygen_found} = yes; then doxygen Doxyfile; fi
 
 ## This is needed to make 'make dist' work even if the 'html' subdirectory
 ## does not exist.
@@ -29,7 +28,7 @@
 install-data-local: html/index.html
 	@$(NORMAL_INSTALL)
 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
-	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
+	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
@@ -37,7 +36,7 @@
 
 uninstall-local: html/index.html
 	@$(NORMAL_UNINSTALL)
-	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
+	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
 	  rm -f $(DESTDIR)$(htmldir)/$$f; \