chiark / gitweb /
make-man-index: work around UnicodeDecodeError
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 15:34:59 +0000 (10:34 -0500)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Tue, 15 Jan 2013 16:30:42 +0000 (11:30 -0500)
commitdd6f5e4fb8a18822d1de8f98d5b24d1cb4d9e851
tree0244c2bf94b7869be07fa73b7ca14d9569b78d59
parentf6b6728d1dc92754026a7f04d26f83e2290778f4
make-man-index: work around UnicodeDecodeError
make-man-index.py