From 68b961a813078d545593ad2eeef78cba09d559df Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 5 Mar 2016 10:53:55 +0100
Subject: [PATCH] Makefile attribution

I talked with Christian, he is not the original author and forgot where it came
from, probably some coq-club mail.
---
 Makefile | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index f3a867b2a..d687701ef 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,4 @@
-# Makefile taken from coq-club, Christian Doczkal <doczkal@ps.uni-saarland.de>,
-# who adapted it from "somewhere".
+# Makefile originally taken from coq-club
 all: Makefile.coq
 	+make -f Makefile.coq all
 
-- 
GitLab