diff -r 003736604835 -r 73de5b1f2abc Makefile.am
--- a/Makefile.am	Mon Oct 04 14:43:11 2004 +0000
+++ b/Makefile.am	Mon Oct 04 16:00:14 2004 +0000
@@ -17,13 +17,10 @@
 	src/demo/Makefile.in
 
 docs:
-	@cd doc \
-	&& $(MAKE) $(AM_MAKEFLAGS) clean \
-	&& $(MAKE) $(AM_MAKEFLAGS) html
+	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
 
 benchmark:
-	@cd src/benchmark \
-	&& $(MAKE) $(AM_MAKEFLAGS)
+	$(MAKE) -C src/benchmark $(AM_MAKEFLAGS)
 
 mrproper:
 	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean