diff --git a/Makefile b/Makefile
index ce4f2f332c3ea14a68a28d72dbc4313c953d50de..27a1bb1f108c064cd735360b7fa674192166d32a 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