Try installing the stupid sphinx-rtd-theme explicitly

This commit is contained in:
vitaut 2015-10-15 08:26:44 -07:00
parent 694bfb5309
commit d57c6204cd

View File

@ -34,6 +34,7 @@ def build_docs():
print("Updating pip")
check_call(['pip', 'install', '--upgrade', 'pip'])
# Install Sphinx and Breathe.
check_call(['pip', 'install', 'sphinx-rtd-theme==0.1.8'])
pip_install('sphinx-doc/sphinx',
'4d2c17e043d9e8197fa5cd0db34212af3bb17069',
check_version='1.4a0.dev-20151013')