From d57c6204cdb54c2ee693e08a602f17d59566d6f4 Mon Sep 17 00:00:00 2001 From: vitaut Date: Thu, 15 Oct 2015 08:26:44 -0700 Subject: [PATCH] Try installing the stupid sphinx-rtd-theme explicitly --- doc/build.py | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/build.py b/doc/build.py index ce3867cc..b0547f22 100755 --- a/doc/build.py +++ b/doc/build.py @@ -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')