diff options
Diffstat (limited to 'web/nim.ini')
| -rw-r--r-- | web/nim.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/nim.ini b/web/nim.ini index 1bf75e209..d0867ca4e 100644 --- a/web/nim.ini +++ b/web/nim.ini @@ -36,7 +36,7 @@ UNIX. We don't believe this to be a coincidence. - Jeremy S. Anderson.""" [Documentation] -doc: "endb;intern;apis;lib;manual;tut1;tut2;nimc;overview;filters" +doc: "endb;intern;apis;lib;manual.txt;tut1;tut2;nimc;overview;filters" doc: "tools;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt" pdf: "manual;lib;tut1;tut2;nimc;niminst;gc" srcdoc2: "system.nim" |