diff --git a/Makefile b/Makefile
index 27a1bb1f108c064cd735360b7fa674192166d32a..f3a867b2a6429380ea3b5bb51e0b6675b4e6160c 100644
--- a/Makefile
+++ b/Makefile
@@ -10,4 +10,7 @@ clean: Makefile.coq
 Makefile.coq: _CoqProject
 	coq_makefile -f _CoqProject -o Makefile.coq
 
+%: Makefile.coq
+	+make -f Makefile.coq $@
+
 .PHONY: all clean