# exported from git by git-debcherry
0001-option-to-not-build-man-page.patch
