Mantas Mikulėnas
|
b56d18ee60
|
make-man-index.py: compatibility with Python 3
Despite its name, ElementTree.tostring() returns already-encoded
bytes() instead of a string in Python 3; sys.stdout doesn't like that.
|
2012-07-25 11:26:22 +02:00 |
|
|
Kay Sievers
|
7653b3c29a
|
make-man-index.py: pretty-print HTML
|
2012-07-16 21:47:01 +02:00 |
|
|
Lennart Poettering
|
a6c9b1c492
|
man: actually generate h2 headers for letters in index as we meant to
|
2012-07-16 19:26:08 +02:00 |
|
|
Lennart Poettering
|
051eaebb58
|
man: include number of man pages in index page
|
2012-07-16 19:11:10 +02:00 |
|
|
Lennart Poettering
|
92e1ecc62b
|
man: set description in italics in the index
|
2012-07-16 18:10:18 +02:00 |
|
|
Lennart Poettering
|
8864111310
|
man: show man page summary in index, too
|
2012-07-16 17:39:26 +02:00 |
|
|
Lennart Poettering
|
9c4fa6ed10
|
min: generate an index page for all man pages
This makes use of python, if it is available
|
2012-07-16 17:19:39 +02:00 |
|