chiark / gitweb /
make-man-index.py: pretty-print HTML
authorKay Sievers <kay@vrfy.org>
Mon, 16 Jul 2012 19:27:06 +0000 (21:27 +0200)
committerKay Sievers <kay@vrfy.org>
Mon, 16 Jul 2012 19:47:01 +0000 (21:47 +0200)
commit7653b3c29adbad9d299fe9ff09ed30fbcc606acc
tree653da35b46c071cd704d5d38d2073946b4582b5d
parent162566a4a12c35e1e86e35ced1748354f7ec935e
make-man-index.py: pretty-print HTML
make-man-index.py