fix-manpage-headers.patch
