From 728f8e0b66b127ceef9aa537939e64e721499aad Mon Sep 17 00:00:00 2001
From: Philipp Gesang <phg42.2a@gmail.com>
Date: Mon, 10 Feb 2014 08:24:08 +0100
Subject: =?UTF-8?q?[*]=20don=E2=80=99t=20hardcode=20name=20of=20gmake=20ex?=
 =?UTF-8?q?ecutable?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/Makefile b/Makefile
index 97a733a..3ed893c 100644
--- a/Makefile
+++ b/Makefile
@@ -80,13 +80,13 @@ pdf: $(DOCPDF)
 manual: $(MANPAGE)
 
 $(DOTPDF):
-	@make -C $(DOCSRCDIR) graph
+	@$(MAKE) -C $(DOCSRCDIR) graph
 
 $(DOCPDF):
-	@make -C $(DOCSRCDIR) doc
+	@$(MAKE) -C $(DOCSRCDIR) doc
 
 $(MANPAGE):
-	@make -C $(DOCSRCDIR) manual
+	@$(MAKE) -C $(DOCSRCDIR) manual
 
 $(GLYPHS): /dev/null
 	$(DO_GLYPHS)
@@ -143,11 +143,11 @@ manifest:
 	@for f in $(GENERATED); do echo $$f; done
 
 clean:
-	make -C $(DOCSRCDIR) $@
+	$(MAKE) -C $(DOCSRCDIR) $@
 	@$(RM) -- *.log *.aux *.toc *.idx *.ind *.ilg *.out
 
 mrproper: clean
-	make -C $(DOCSRCDIR) $@
+	$(MAKE) -C $(DOCSRCDIR) $@
 	@$(RM) -- $(GENERATED) $(ZIPS) $(GLYPHSOURCE)
 	@$(RM) -r -- $(DISTDIR)
 
-- 
cgit v1.2.3