diff -r 32f280a5ed7d -r f450618b8f98 Makefile.am
--- a/Makefile.am	Thu Jul 15 12:15:58 2004 +0000
+++ b/Makefile.am	Thu Jul 15 15:31:24 2004 +0000
@@ -21,8 +21,12 @@
 	&& $(MAKE) $(AM_MAKEFLAGS) clean \
 	&& $(MAKE) $(AM_MAKEFLAGS) html
 
+benchmark:
+	@cd src/benchmark \
+	&& $(MAKE) $(AM_MAKEFLAGS)
+
 mrproper:
 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean
 	-rm -f $(MRPROPERFILES)
 
-.PHONY: docs mrproper
+.PHONY: docs benchmark mrproper