# HG changeset patch
# User ladanyi
# Date 1112775256 0
# Node ID 1b434e6cc40572b26c2552c7d77049ca44914bba
# Parent  b3ce42a4d7d2c49cd90184adc65aecb2da4c98ae
make distcheck works again

diff -r b3ce42a4d7d2 -r 1b434e6cc405 doc/Makefile.am
--- a/doc/Makefile.am	Wed Apr 06 07:24:48 2005 +0000
+++ b/doc/Makefile.am	Wed Apr 06 08:14:16 2005 +0000
@@ -5,7 +5,7 @@
 htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
 ## htmldir = $(pkgdatadir)/doc
 
-EXTRA_DIST = Doxyfile html mainpage.dox getstart.dox quicktour.dox \
+EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \
 	demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
         maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
 	developers_interface.dox graph_io.dox dirs.dox gwrappers.dox
@@ -15,7 +15,7 @@
 
 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
 ## INPUT variable.
-html/index.html: Doxyfile
+html/index.html:
 	-rm -rf html
 	doxygen Doxyfile