diff -r d2143018b4e4 -r 9a9acf30dbae Makefile.am
--- a/Makefile.am	Wed Jun 08 15:40:54 2005 +0000
+++ b/Makefile.am	Wed Jun 08 16:12:29 2005 +0000
@@ -39,12 +39,10 @@
 doc-clean:
 	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
 
-docs:
+doc:
 	-rm -f doc/html/index.html
 	$(MAKE) -C doc $(AM_MAKEFLAGS) html
 
-doc: docs
-
 benchmark:
 	$(MAKE) -C benchmark $(AM_MAKEFLAGS)
 
@@ -52,4 +50,4 @@
 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
 	-rm -f $(MRPROPERFILES)
 
-.PHONY: docs benchmark mrproper
+.PHONY: doc benchmark mrproper