From c51a909ae3acc2b36c119e71ffea1d0702e5e0fd Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 12 Feb 2016 20:32:29 +0100
Subject: [PATCH] fix Makefile attribution

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

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