diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/website.ini | 4 |
1 files changed, 2 insertions, 2 deletions
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" |