From 884c55741fd6e630a9ab89762b5703f0c975458e Mon Sep 17 00:00:00 2001 From: vitaut Date: Fri, 16 Oct 2015 07:00:19 -0700 Subject: [PATCH] Install a version of sphinx without sphinx-rtd-theme because the latter breaks the sphinx-build --- doc/build.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/doc/build.py b/doc/build.py index b485645e..09488549 100755 --- a/doc/build.py +++ b/doc/build.py @@ -34,9 +34,8 @@ 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', + pip_install('cppformat/sphinx', + '12dde8afdb0a7bb5576e2656692c3478c69d8cc3', check_version='1.4a0.dev-20151013') pip_install('michaeljones/breathe', '511b0887293e7c6b12310bb61b3659068f48f0f4')