fix-doc-build-if-git-is-absent.patch
