drop-git-sphinx.patch
