chiark / gitweb /
make-man-index: work around UnicodeDecodeError