summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2014-02-10 08:24:08 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2014-02-10 08:24:08 +0100
commit728f8e0b66b127ceef9aa537939e64e721499aad (patch)
tree0a84b507ad3efcd6eca3bd2be3f3638ce8c59c2a /Makefile
parent06e79fac8810293b5f3e9d03a1c0f838aefb4784 (diff)
downloadluaotfload-728f8e0b66b127ceef9aa537939e64e721499aad.tar.gz
[*] don’t hardcode name of gmake executable
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile10
1 files 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)