diff options
Diffstat (limited to 'web/nimrod.ini')
| -rw-r--r-- | web/nimrod.ini | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/web/nimrod.ini b/web/nimrod.ini index eb9ffa6b4..7b0a91c19 100644 --- a/web/nimrod.ini +++ b/web/nimrod.ini @@ -36,8 +36,8 @@ 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: "tools;niminst;nimgrep;gc;estp;idetools;docgen;koch" +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;niminst;gc" srcdoc2: "system.nim;impure/graphics;wrappers/sdl" srcdoc2: "core/macros;pure/marshal;core/typeinfo;core/unsigned" |