7 Commits

Author	SHA1	Message	Date
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