diff Makefile @ 1423:76239f0cb0dc

Use $(MAKE) not make
author levon@movementarian.org
date Mon, 24 Oct 2005 14:52:49 -0700
parents f1b052db3515
children e84c69b43cdb
line wrap: on
line diff
--- a/Makefile	Mon Oct 24 14:52:41 2005 -0700
+++ b/Makefile	Mon Oct 24 14:52:49 2005 -0700
@@ -10,7 +10,7 @@
 clean:
 	-$(PYTHON) setup.py clean --all # ignore errors of this command
 	find . -name '*.py[co]' -exec rm -f '{}' ';'
-	make -C doc clean
+	$(MAKE) -C doc clean
 
 dist:	tests doc
 	TAR_OPTIONS="--owner=root --group=root --mode=u+w,go-w,a+rX-s" $(PYTHON) setup.py sdist --force-manifest
@@ -19,7 +19,7 @@
 	cd tests && ./run-tests
 
 doc:
-	make -C doc
+	$(MAKE) -C doc
 
 
 .PHONY: all clean dist tests doc