1.1 --- a/Makefile.am	Tue Jun 07 16:13:21 2005 +0000
     1.2 +++ b/Makefile.am	Wed Jun 08 12:35:18 2005 +0000
     1.3 @@ -36,8 +36,14 @@
     1.4  	demo/Makefile.in \
     1.5  	gui/Makefile.in
     1.6  
     1.7 +doc-clean:
     1.8 +	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
     1.9 +
    1.10  docs:
    1.11 -	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
    1.12 +	-rm -f doc/html/index.html
    1.13 +	$(MAKE) -C doc $(AM_MAKEFLAGS) html
    1.14 +
    1.15 +doc: docs
    1.16  
    1.17  benchmark:
    1.18  	$(MAKE) -C benchmark $(AM_MAKEFLAGS)

     2.1 --- a/doc/Makefile.am	Tue Jun 07 16:13:21 2005 +0000
     2.2 +++ b/doc/Makefile.am	Wed Jun 08 12:35:18 2005 +0000
     2.3 @@ -16,7 +16,10 @@
     2.4  ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
     2.5  ## INPUT variable.
     2.6  html/index.html:
     2.7 -	if test ${doxygen_found} = yes; then doxygen Doxyfile; fi
     2.8 +	if test ${doxygen_found} = yes; then \
     2.9 +	  doxygen Doxyfile; \
    2.10 +	  cp icons/geom/ftv2* html; \
    2.11 +	fi
    2.12  
    2.13  ## This is needed to make 'make dist' work even if the 'html' subdirectory
    2.14  ## does not exist.