chiark / gitweb /
Fix debian/rules for new man pages