debian/0001-manpage.patch
