diff --git a/Makefile b/Makefile
index 1735307..775db0a 100644
--- a/Makefile
+++ b/Makefile
@@ -1,8 +1,8 @@
 all: Makefile.coq
-	+make -f Makefile.coq all
+	$(MAKE) -f Makefile.coq all
 
 clean: Makefile.coq
-	+make -f Makefile.coq clean
+	$(MAKE) -f Makefile.coq clean
 	rm -f Makefile.coq Makefile.coq.conf
 
 _CoqProject:;
@@ -11,6 +11,6 @@ Makefile.coq: _CoqProject
 	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
 %: Makefile.coq
-	+make -f Makefile.coq $@
+	$(MAKE) -f Makefile.coq $@
 
 .PHONY: all clean