1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 04df08ae3..5fb1ab33c 100644
--- a/Makefile
+++ b/Makefile
@@ -28,7 +28,7 @@ coqprime-8.5:
 	$(MAKE) -C coqprime-8.5
 
 Makefile.coq: Makefile _CoqProject
-	coq_makefile -f _CoqProject -o Makefile.coq
+	$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq
 
 clean: Makefile.coq
 	$(MAKE) -f Makefile.coq clean