From 7c7e397e377c903d4e929a19ee13a13ffad67470 Mon Sep 17 00:00:00 2001 From: Ross Jones Date: Fri, 15 Jun 2018 11:55:30 +0100 Subject: [PATCH] Update version of sphinx used Sphinx 1.7.5 seems (anecdotally) marginally faster than 1.7.1 --- dev-requirements.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dev-requirements.txt b/dev-requirements.txt index 4dbae26379c..56555a8b31a 100644 --- a/dev-requirements.txt +++ b/dev-requirements.txt @@ -10,7 +10,7 @@ mock==2.0.0 pycodestyle==2.2.0 pip-tools==1.7.0 pyfakefs==2.9 -Sphinx==1.7.1 +Sphinx==1.7.5 sphinx-rtd-theme==0.3.1 # nose==1.3.0 # already in requirements.txt