From 1117d2e4a00debfbfa0157cc3e780916df72c26b Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Tue, 27 Dec 2016 16:06:42 +0000
Subject: New upstream version 8.6

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index a9d5466..abf2ec6 100644
--- a/Makefile
+++ b/Makefile
@@ -8,6 +8,8 @@ clean: Makefile.coq
 Makefile.coq: Make
 	$(COQBIN)coq_makefile -f Make -o Makefile.coq
 
+Make: ;
+
 %: Makefile.coq
 	+make -f Makefile.coq $@
 
-- 
cgit v1.2.3