From 565f115a6df66cf740bf6dc80ffd9fa7c5f809e7 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 7 Nov 2016 15:22:58 +0100
Subject: [PATCH] update Makefile

---
 Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 4ab350fe..51cf12d0 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,3 @@
-
-# Makefile originally taken from coq-club
-
 %: Makefile.coq phony
 	+@make -f Makefile.coq $@
 
@@ -16,7 +13,7 @@ Makefile.coq: _CoqProject Makefile
 
 iris-local: clean
 	git submodule update --init iris
-	ln -s iris iris-enabled
+	ln -nsf iris iris-enabled
 	+make -C iris -f Makefile
 
 iris-system: clean
-- 
GitLab