From a9974a33f10e380c1277d3cda296b7012033b2e5 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 5 Mar 2018 23:25:34 +0100
Subject: more documentation fixes

---
 web/website.ini | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'web')

diff --git a/web/website.ini b/web/website.ini
index 9dc5949a0..ebfd5e6f2 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -29,8 +29,8 @@ news: news
 file: ticker.html
 
 [Documentation]
-doc: "endb;intern;apis;lib;manual.rst;tut1.rst;tut2.rst;nimc;overview;filters"
-doc: "tools;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.rst"
+doc: "endb.rst;intern.txt;apis.txt;lib.rst;manual.rst;tut1.rst;tut2.rst;nimc.rst;overview.rst;filters.rst"
+doc: "tools.txt;niminst.rst;nimgrep.rst;gc.rst;estp.rst;idetools.rst;docgen.rst;koch.rst;backends.rst"
 doc: "nimfix.rst;nimsuggest.rst;nep1.rst;nims.rst;contributing.rst"
 pdf: "manual.rst;lib.rst;tut1.rst;tut2.rst;nimc.rst;niminst.rst;gc.rst"
 srcdoc2: "system.nim;system/nimscript;pure/ospaths"
-- 
cgit 1.4.1-2-gfad0