Use $(MAKE) consistently instead of plain 'make'.

Patch by Pierre-Emmanuel André

diff --git a/Makefile b/Makefile
index c5244e8d7bf1ef268947c4e5e4ef129b1d72d0a1..585fcf3642687246be1a4c6d0b760452f15102e0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -38,7 +38,7 @@ modules-install: config.mak
 
 python-install: config.mak modules-all
        $(PYTHON) setup.py install --prefix=$(prefix) --root=$(DESTDIR)/
-       make -C doc DESTDIR=$(DESTDIR) install
+       $(MAKE) -C doc DESTDIR=$(DESTDIR) install
 
 python-install python-all: python/skytools/installer_config.py
 python/skytools/installer_config.py: python/skytools/installer_config.py.in config.mak
@@ -78,7 +78,7 @@ deb83:
        debuild -uc -us -b
 
 tgz: config.mak clean
-       make -C doc man
+       $(MAKE) -C doc man
        $(PYTHON) setup.py sdist -t source.cfg -m source.list
 
 debclean: distclean