From 8053ea343042d3d731f12a7303389ed9fea799a2 Mon Sep 17 00:00:00 2001
From: Chandan Singh <git@chandansingh.net>
Date: Mon, 21 Jan 2019 16:41:51 +0000
Subject: tox.ini: Unpin sphinx dependency

https://github.com/rtfd/sphinx_rtd_theme/pull/672 has been fixed
upstream, and the newer versions of `sphinx_rtd_theme` do not break
search functionality with Sphinx >= 1.8.
---
 tox.ini | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/tox.ini b/tox.ini
index abc13d03a..0925fa5cb 100644
--- a/tox.ini
+++ b/tox.ini
@@ -65,11 +65,11 @@ deps =
 [testenv:docs]
 commands =
     make -C doc
-# Currently sphinx_rtd_theme does not support Sphinx >1.8, this breaks search functionality
+# sphinx_rtd_theme < 0.4.2 breaks search functionality for Sphinx >= 1.8
 deps =
-    sphinx==1.7.9
+    sphinx
     sphinx-click
-    sphinx_rtd_theme
+    sphinx_rtd_theme >= 0.4.2
     -rrequirements/requirements.txt
     -rrequirements/plugin-requirements.txt
 passenv =
-- 
cgit v1.2.1