From 01e31f3154ea0201d56b589ef848cab2b219e87b Mon Sep 17 00:00:00 2001
From: Victor Zverovich <victor.zverovich@gmail.com>
Date: Wed, 25 May 2016 07:46:47 -0700
Subject: [PATCH] Don't use --upgrade because it causes pip install older
 version of sphinx

(cherry picked from commit e68836c123551240cd539b8e5b05603340948f0a)
---
 doc/build.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/build.py b/doc/build.py
index 21e28335..8e44e3aa 100755
--- a/doc/build.py
+++ b/doc/build.py
@@ -16,7 +16,7 @@ def pip_install(package, commit=None, **kwargs):
     #  return
     package = 'git+git://github.com/{0}.git@{1}'.format(package, commit)
   print('Installing {}'.format(package))
-  check_call(['pip', 'install', '--upgrade', package])
+  check_call(['pip', 'install', package])
 
 def build_docs(version='dev'):
   # Create virtualenv.
@@ -48,7 +48,7 @@ def build_docs(version='dev'):
   # Install Sphinx and Breathe.
   pip_install('sphinx-doc/sphinx',
               '12b83372ac9316e8cbe86e7fed889296a4cc29ee',
-              check_version='1.4a0.dev-20151013')
+              check_version='1.4.1.dev20160525')
   pip_install('michaeljones/breathe',
               '1c9d7f80378a92cffa755084823a78bb38ee4acc')
   # Build docs.