diff options
Diffstat (limited to 'tools/gendoc.py')
| -rw-r--r-- | tools/gendoc.py | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/tools/gendoc.py b/tools/gendoc.py index b277ea6561..26c3a18596 100644 --- a/tools/gendoc.py +++ b/tools/gendoc.py @@ -327,12 +327,13 @@ class Doc: def dump(self): s = [] - if self.modules: + s.append('# Modules') + s.append('') + s.append('These are the Python modules that are implemented.') + s.append('') + for m in sorted(self.modules.values(), key=lambda x:x.name): s.append('') - s.append('# Modules') - for m in sorted(self.modules.values(), key=lambda x:x.name): - s.append('') - s.append('[`{}`]({}) - {}'.format(m.name, m.name, m.descr)) + s.append('[`{}`]({}/) - {}'.format(m.name, m.name, m.descr)) return '\n'.join(s) def write(self, dir): |