From c82719b9d2b4cf39441317f24783a7813fb4baff Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 5 Mar 2016 10:44:25 +0100
Subject: [PATCH] improve Makefile: fix make dir/name.vo

---
 Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/Makefile b/Makefile
index 27a1bb1f1..f3a867b2a 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
-- 
GitLab