repair-documentation-build.patch
