0001-Remove-hidden-option-which-breaks-man-page-generatio.patch
