diff -r a10e6f1769e2 -r 0ed29fe9d071 doc/Makefile.am
--- a/doc/Makefile.am	Thu May 06 19:01:00 2004 +0000
+++ b/doc/Makefile.am	Thu May 06 22:24:02 2004 +0000
@@ -7,7 +7,7 @@
 
 EXTRA_DIST = Doxyfile html
 
-all-local: html/index.html
+## all-local: html/index.html
 
 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
 ## INPUT variable.