From 590b2abdfc8c1522ada64e45b4b809c6723cd654 Mon Sep 17 00:00:00 2001 From: Damien George Date: Fri, 8 Aug 2014 23:34:39 +0100 Subject: [PATCH] tools, gendoc: Put module TOC/index in module/ directory. --- tools/gendoc.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)