no-git-in-generate_lower_listing.patch
sphinx-rtd-theme.patch
doc-no-git.patch
