From: Michael Stapelberg <michael@stapelberg.de>
Date: Wed, 13 Jul 2011 11:29:39 +0000 (+0200)
Subject: Makefile: use $(MAKE) instead of make
X-Git-Tag: tree-pr4~13
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=806ad77399abe0e17c230789348da21da94e8876;p=i3%2Fi3

Makefile: use $(MAKE) instead of make
---

diff --git a/Makefile b/Makefile
index fccb0690..10af73b8 100644
--- a/Makefile
+++ b/Makefile
@@ -93,7 +93,7 @@ dist: distclean
 	find i3-input -maxdepth 1 -type f \( -name "*.c" -or -name "*.h" -or -name "Makefile" \) -exec cp '{}' i3-${VERSION}/i3-input \;
 	sed -e 's/^GIT_VERSION:=\(.*\)/GIT_VERSION:=$(shell echo '${GIT_VERSION}' | sed 's/\\/\\\\/g')/g;s/^VERSION:=\(.*\)/VERSION:=${VERSION}/g' common.mk > i3-${VERSION}/common.mk
 	# Pre-generate a manpage to allow distributors to skip this step and save some dependencies
-	make -C man
+	$(MAKE) -C man
 	cp man/*.1 i3-${VERSION}/man/
 	tar cfj i3-${VERSION}.tar.bz2 i3-${VERSION}
 	rm -rf i3-${VERSION}