1 files changed, 2 insertions, 2 deletions

diff --git a/Makefile b/Makefile
index 01fc0938e..519c1b040 100644
--- a/Makefile
+++ b/Makefile
@@ -32,10 +32,10 @@ coqprime: coqprime-8.4
 endif
 
 coqprime-8.4:
-	$(MAKE) -C coqprime
+	$(MAKE) -C coqprime-8.4
 
 coqprime-8.5:
-	$(MAKE) -C coqprime-8.5
+	$(MAKE) -C coqprime
 
 Makefile.coq: Makefile _CoqProject
 	$(Q)$(COQBIN)coq_makefile -f _CoqProject -o Makefile.coq