From 5a299507db16c6cd8e55c42fc0a1957a084cd44a Mon Sep 17 00:00:00 2001
From: Varriount <Varriount@users.noreply.github.com>
Date: Fri, 18 Jul 2014 18:17:09 -0400
Subject: [PATCH] Update nimrod.ini

---
 web/nimrod.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/web/nimrod.ini b/web/nimrod.ini
index 7b0a91c19c..544446b11e 100644
--- a/web/nimrod.ini
+++ b/web/nimrod.ini
@@ -37,7 +37,7 @@ UNIX. We don't believe this to be a coincidence. - Jeremy S. Anderson."""
 
 [Documentation]
 doc: "endb;intern;apis;lib;manual;tut1;tut2;nimrodc;overview;filters"
-doc: "tools;c2nim;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt"
+doc: "tools;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt"
 pdf: "manual;lib;tut1;tut2;nimrodc;niminst;gc"
 srcdoc2: "system.nim;impure/graphics;wrappers/sdl"
 srcdoc2: "core/macros;pure/marshal;core/typeinfo;core/unsigned"