From c4ee39dd636e15bc9d8dd3adbdffe42971546220 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Sun, 10 Aug 2014 16:51:26 +0100
Subject: [PATCH] tools, gendoc: Output small descr about module TOC.

---
 tools/gendoc.py | 11 ++++++-----
 1 file 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):