diff options
| -rw-r--r-- | tools/gendoc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gendoc.py b/tools/gendoc.py index 804873ce04..b277ea6561 100644 --- 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) |