summary refs log tree commit diff stats
path: root/web
diff options
context:
space:
mode:
authorAraq <rumpf_a@web.de>2016-10-24 17:26:04 +0200
committerAraq <rumpf_a@web.de>2016-10-24 17:41:02 +0200
commit6d4d8d5669b966fa0596d2e3d44b0e36399ed559 (patch)
tree7134960a9d810a797238d486b746b12c11bdf9c1 /web
parentceb30d7a0e3efb697d710e96add2633644dd7845 (diff)
downloadNim-6d4d8d5669b966fa0596d2e3d44b0e36399ed559.tar.gz
'koch tools' does not yet work from github
Diffstat (limited to 'web')
-rw-r--r--web/download.rst1
1 files changed, 0 insertions, 1 deletions
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``.