diff --git a/Makefile b/Makefile
index d687701ef41ba12d35ee24896f85d44afe86864d..6c554b2751754c364a05e7cad9ad4634c68da0a4 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,8 @@
 # Makefile originally taken from coq-club
+
+%: Makefile.coq
+	+make -f Makefile.coq $@
+
 all: Makefile.coq
 	+make -f Makefile.coq all
 
@@ -6,10 +10,11 @@ clean: Makefile.coq
 	+make -f Makefile.coq clean
 	rm -f Makefile.coq
 
-Makefile.coq: _CoqProject
-	coq_makefile -f _CoqProject -o Makefile.coq
+Makefile.coq: _CoqProject Makefile
+	coq_makefile -f _CoqProject | sed 's/$$(COQCHK) $$(COQCHKFLAGS) $$(COQLIBS)/$$(COQCHK) $$(COQCHKFLAGS) $$(subst -Q,-R,$$(COQLIBS))/' > Makefile.coq
 
-%: Makefile.coq
-	+make -f Makefile.coq $@
+_CoqProject: ;
+
+Makefile: ;
 
 .PHONY: all clean