1 files changed, 0 insertions, 12 deletions
diff --git a/doc/tools.txt b/doc/tools.txt
deleted file mode 100755
index da59de80a..000000000
--- a/doc/tools.txt
+++ /dev/null
@@ -1,12 +0,0 @@
-=====
-Tools
-=====
-
-The standard distribution ships with the following tools:
-
-- | `Nimrod Installation Generator <niminst.html>`_
-  | How to generate a nice installer for your Nimrod program.
-
-- | `C2nim <c2nim.html>`_
-  | C to Nimrod source converter. Translates C header files to Nimrod.
-