chiark / gitweb /
make-man-index.py: compatibility with Python 3