tools, gendoc: Put module TOC/index in module/ directory.

2014-08-08 23:34:39 +01:00 · 2014-08-08 23:34:39 +01:00 · 590b2abdfc
parent ea439e59d9
commit 590b2abdfc
1 changed files with 1 additions and 1 deletions
--- a/tools/gendoc.py
+++ b/tools/gendoc.py
@ -336,7 +336,7 @@ class Doc:
        return '\n'.join(s)

    def write(self, dir):
-        with open(os.path.join(dir, 'index.html'), 'wt') as f:
+        with open(os.path.join(dir, 'module', 'index.html'), 'wt') as f:
            f.write(markdown.markdown(self.dump()))
        for m in self.modules.values():
            mod_dir = os.path.join(dir, 'module', m.name)