diff options
Diffstat (limited to 'web/nimrod.ini')
-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 af9ac0cd9..7b0a91c19 100644 --- a/web/nimrod.ini +++ b/web/nimrod.ini @@ -38,7 +38,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" doc: "tools;c2nim;niminst;nimgrep;gc;estp;idetools;docgen;koch;backends.txt" -pdf: "manual;lib;tut1;tut2;nimrodc;c2nim;niminst;gc" +pdf: "manual;lib;tut1;tut2;nimrodc;niminst;gc" srcdoc2: "system.nim;impure/graphics;wrappers/sdl" srcdoc2: "core/macros;pure/marshal;core/typeinfo;core/unsigned" srcdoc2: "impure/re;pure/sockets" |