1 files changed, 2 insertions, 0 deletions
diff --git a/koch.nim b/koch.nim
index 9d59344f2..054db4f8f 100644
--- a/koch.nim
+++ b/koch.nim
@@ -6,6 +6,8 @@
 #    See the file "copying.txt", included in this
 #    distribution, for details about the copyright.
 #
+#    See doc/koch.txt for documentation.
+#
 
 when defined(gcc) and defined(windows):
   when defined(x86):