Makefile.am
changeset 1452 9a9acf30dbae
parent 1450 11a35ece69c7
child 1455 58d733dd1c98
     1.1 --- a/Makefile.am	Wed Jun 08 15:40:54 2005 +0000
     1.2 +++ b/Makefile.am	Wed Jun 08 16:12:29 2005 +0000
     1.3 @@ -39,12 +39,10 @@
     1.4  doc-clean:
     1.5  	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
     1.6  
     1.7 -docs:
     1.8 +doc:
     1.9  	-rm -f doc/html/index.html
    1.10  	$(MAKE) -C doc $(AM_MAKEFLAGS) html
    1.11  
    1.12 -doc: docs
    1.13 -
    1.14  benchmark:
    1.15  	$(MAKE) -C benchmark $(AM_MAKEFLAGS)
    1.16  
    1.17 @@ -52,4 +50,4 @@
    1.18  	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    1.19  	-rm -f $(MRPROPERFILES)
    1.20  
    1.21 -.PHONY: docs benchmark mrproper
    1.22 +.PHONY: doc benchmark mrproper