From 10cd89eba9351861b84883eff6a8169ef915aee4 Mon Sep 17 00:00:00 2001 From: Araq Date: Tue, 6 Mar 2018 23:03:27 +0100 Subject: yet another documentation fix --- web/website.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'web') diff --git a/web/website.ini b/web/website.ini index ebfd5e6f2..44f01c784 100644 --- a/web/website.ini +++ b/web/website.ini @@ -30,7 +30,7 @@ file: ticker.html [Documentation] 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: "tools.txt;niminst.rst;nimgrep.rst;gc.rst;estp.rst;idetools.rst;docgen.rst;koch.rst;backends.txt" 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