summary refs log tree commit diff stats
diff options
context:
space:
mode:
-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``.