diff --git a/Makefile b/Makefile
index 6c554b2751754c364a05e7cad9ad4634c68da0a4..ff1ccd39b120b9d1ff5e72d079d8484bfbfb551b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 # Makefile originally taken from coq-club
 
-%: Makefile.coq
+%: Makefile.coq phony
 	+make -f Makefile.coq $@
 
 all: Makefile.coq
@@ -17,4 +17,6 @@ _CoqProject: ;
 
 Makefile: ;
 
-.PHONY: all clean
+phony: ;
+
+.PHONY: all clean phony