From 3bb252361d1595e2b882c3fae9602d866a8c553b Mon Sep 17 00:00:00 2001
From: Marko Kreen <markokr@gmail.com>
Date: Tue, 15 Apr 2008 06:24:22 +0000
Subject: [PATCH] Use $(MAKE) consistently instead of plain 'make'.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

Patch by Pierre-Emmanuel André
---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index c5244e8d..585fcf36 100644
--- 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
-- 
2.39.5