diff options
Diffstat (limited to 'web')
| -rw-r--r-- | web/nimrod.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/nimrod.ini b/web/nimrod.ini index fc652c158..af9ac0cd9 100644 --- a/web/nimrod.ini +++ b/web/nimrod.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;nimrodc;overview;filters;trmacros" +doc: "endb;intern;apis;lib;manual;tut1;tut2;nimrodc;overview;filters" doc: "tools;c2nim;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt" pdf: "manual;lib;tut1;tut2;nimrodc;c2nim;niminst;gc" srcdoc2: "system.nim;impure/graphics;wrappers/sdl" |