chiark / gitweb /
man: use lxml for faster generation and pretty printing
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Fri, 8 Mar 2013 01:13:40 +0000 (20:13 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Sat, 9 Mar 2013 13:47:50 +0000 (08:47 -0500)
commit80cb917e6248c15fd4a95d29954b3fd1e3d66b06
tree004712066f3d9e1829e4b68acba161269e025d3d
parent87cfe600c7a5c0632f8dcc7713b0b1e3825b75cc
man: use lxml for faster generation and pretty printing
README
make-directive-index.py
make-man-index.py