mirror of
https://github.com/systemd/systemd.git
synced 2024-10-27 01:55:22 +03:00
man: include number of man pages in index page
This commit is contained in:
parent
6fa9a61092
commit
051eaebb58
@ -52,4 +52,9 @@ for n in sorted(index.keys(), key = str.lower):
|
||||
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))
|
||||
|
Loading…
Reference in New Issue
Block a user