From 0e28acdd05a6d83369cc79d18b01c3e54fd3a7a3 Mon Sep 17 00:00:00 2001 From: vitaut Date: Mon, 18 May 2015 07:24:33 -0700 Subject: [PATCH] Update Sphinx to 1.3.1 to fix local search --- doc/build.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/build.py b/doc/build.py index 4b8354bb..dca113db 100755 --- a/doc/build.py +++ b/doc/build.py @@ -18,7 +18,7 @@ def build_docs(workdir, travis): activate_this_file = os.path.join(virtualenv_dir, 'bin', 'activate_this.py') execfile(activate_this_file, dict(__file__=activate_this_file)) # Install Sphinx, Breathe and the Bootstrap theme. - pip_install('sphinx==1.2.2') + pip_install('sphinx==1.3.1') pip_install('michaeljones/breathe', '18bd461b4e29dde0adf5df4b3da7e5473e2c2983') pip_install('cppformat/sphinx-bootstrap-theme', '534ba82ef51c17e0f13e8e57b9fa133fa1926c80') # Build docs.