Makefile.am
changeset 935 73de5b1f2abc
parent 934 003736604835
child 1177 e41c2907fb49
     1.1 --- a/Makefile.am	Mon Oct 04 14:43:11 2004 +0000
     1.2 +++ b/Makefile.am	Mon Oct 04 16:00:14 2004 +0000
     1.3 @@ -17,13 +17,10 @@
     1.4  	src/demo/Makefile.in
     1.5  
     1.6  docs:
     1.7 -	@cd doc \
     1.8 -	&& $(MAKE) $(AM_MAKEFLAGS) clean \
     1.9 -	&& $(MAKE) $(AM_MAKEFLAGS) html
    1.10 +	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
    1.11  
    1.12  benchmark:
    1.13 -	@cd src/benchmark \
    1.14 -	&& $(MAKE) $(AM_MAKEFLAGS)
    1.15 +	$(MAKE) -C src/benchmark $(AM_MAKEFLAGS)
    1.16  
    1.17  mrproper:
    1.18  	$(MAKE) $(AM_MAKEFLAGS) maintainer-clean