diff --git a/Makefile b/Makefile
index f3a867b2a6429380ea3b5bb51e0b6675b4e6160c..d687701ef41ba12d35ee24896f85d44afe86864d 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