'koch tools' does not yet work from github

This commit is contained in:
Araq
2016-10-24 17:26:04 +02:00
parent ceb30d7a0e
commit 6d4d8d5669

View File

@@ -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``.