From 6d4d8d5669b966fa0596d2e3d44b0e36399ed559 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 24 Oct 2016 17:26:04 +0200
Subject: [PATCH] 'koch tools' does not yet work from github

---
 web/download.rst | 1 -
 1 file changed, 1 deletion(-)

diff --git a/web/download.rst b/web/download.rst
index 7698deef1..c388dd132 100644
--- a/web/download.rst
+++ b/web/download.rst
@@ -94,7 +94,6 @@ and then to build it::
   cd ..
   bin/nim c koch
   ./koch boot -d:release
-  koch tools
 
 You should then add the ``./bin`` (make sure to expand this into an
 absolute path) directory to your ``PATH``.