1.1 --- a/Makefile.am	Thu Jul 15 12:15:58 2004 +0000
     1.2 +++ b/Makefile.am	Thu Jul 15 15:31:24 2004 +0000
     1.3 @@ -21,8 +21,12 @@
     1.4  	&& $(MAKE) $(AM_MAKEFLAGS) clean \
     1.5  	&& $(MAKE) $(AM_MAKEFLAGS) html
     1.6  
     1.7 +benchmark:
     1.8 +	@cd src/benchmark \
     1.9 +	&& $(MAKE) $(AM_MAKEFLAGS)
    1.10 +
    1.11  mrproper:
    1.12  	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
    1.13  	-rm -f $(MRPROPERFILES)
    1.14  
    1.15 -.PHONY: docs mrproper
    1.16 +.PHONY: docs benchmark mrproper