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

dpgeorge · dpgeorge · commit 590b2abdfc8c · 2014-08-08T23:34:39.000+01:00
diff --git a/tools/gendoc.py b/tools/gendoc.py
@@ -336,7 +336,7 @@ def dump(self):
         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)
