0001-Sphinx-do-not-use-version-from-git.patch
0002-Sphinx-Use-rtd-theme.patch
0003-Sphinx-Remove-installation.patch
0004-Use-local-intersphinx.patch
