do-not-use-git-when-building-doc.patch
