remove-dummy-man-pages.patch
