1.1 --- a/doc/Makefile.am	Wed Apr 06 07:24:48 2005 +0000
     1.2 +++ b/doc/Makefile.am	Wed Apr 06 08:14:16 2005 +0000
     1.3 @@ -5,7 +5,7 @@
     1.4  htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
     1.5  ## htmldir = $(pkgdatadir)/doc
     1.6  
     1.7 -EXTRA_DIST = Doxyfile html mainpage.dox getstart.dox quicktour.dox \
     1.8 +EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \
     1.9  	demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
    1.10          maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
    1.11  	developers_interface.dox graph_io.dox dirs.dox gwrappers.dox
    1.12 @@ -15,7 +15,7 @@
    1.13  
    1.14  ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
    1.15  ## INPUT variable.
    1.16 -html/index.html: Doxyfile
    1.17 +html/index.html:
    1.18  	-rm -rf html
    1.19  	doxygen Doxyfile
    1.20