diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-08-08 23:34:39 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-08-08 23:34:39 +0100 |
| commit | 590b2abdfc8c1522ada64e45b4b809c6723cd654 (patch) | |
| tree | 1f1a5484b6199f63d21c336661b7f52c1f73a34a /tools | |
| parent | ea439e59d95bee29df770dadbbc1a330d1e864a1 (diff) | |
| download | micropython-590b2abdfc8c1522ada64e45b4b809c6723cd654.tar.gz micropython-590b2abdfc8c1522ada64e45b4b809c6723cd654.zip | |
tools, gendoc: Put module TOC/index in module/ directory.
Diffstat (limited to 'tools')
| -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) |