1.1 --- a/doc/Makefile.am	Fri Apr 29 13:31:41 2005 +0000
     1.2 +++ b/doc/Makefile.am	Mon May 02 05:49:33 2005 +0000
     1.3 @@ -16,8 +16,7 @@
     1.4  ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
     1.5  ## INPUT variable.
     1.6  html/index.html:
     1.7 -	-rm -rf html
     1.8 -	doxygen Doxyfile
     1.9 +	if test ${doxygen_found} = yes; then doxygen Doxyfile; fi
    1.10  
    1.11  ## This is needed to make 'make dist' work even if the 'html' subdirectory
    1.12  ## does not exist.
    1.13 @@ -29,7 +28,7 @@
    1.14  install-data-local: html/index.html
    1.15  	@$(NORMAL_INSTALL)
    1.16  	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    1.17 -	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    1.18 +	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    1.19  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.20  	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
    1.21  	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
    1.22 @@ -37,7 +36,7 @@
    1.23  
    1.24  uninstall-local: html/index.html
    1.25  	@$(NORMAL_UNINSTALL)
    1.26 -	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    1.27 +	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
    1.28  	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    1.29  	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    1.30  	  rm -f $(DESTDIR)$(htmldir)/$$f; \