chiark / gitweb /
core: fix name of dbus call parameter
[elogind.git] / make-man-index.py
index e09d62a5e875dd64eb6ec0d9fe5d32895b98846e..44d15f8c291341fc2ab7f6ea7f3a48e39cee5641 100755 (executable)
@@ -42,11 +42,19 @@ for n in sorted(index.keys(), key = str.lower):
                 ul = SubElement(body, 'ul')
                 ul.set('style', 'list-style-type:none')
 
-        li = SubElement(ul, 'li');
+        li = SubElement(ul, 'li')
 
-        a = SubElement(li, 'a');
+        a = SubElement(li, 'a')
         a.set('href', path)
         a.text = n + '(' + section + ')'
-        a.tail = ' -- ' + purpose
+        a.tail = ' -- '
+
+        i = SubElement(li, 'i')
+        i.text = purpose
+
+hr = SubElement(body, 'hr')
+
+p = SubElement(body, 'p')
+p.text = "This index contains %s entries, referring to %i individual manual pages." % (len(index), len(argv)-1)
 
 stdout.write(tostring(html))