diff options
author | Chandan Singh <git@chandansingh.net> | 2019-01-21 16:41:51 +0000 |
---|---|---|
committer | Chandan Singh <chandan@chandansingh.net> | 2019-01-22 16:49:14 +0000 |
commit | 8053ea343042d3d731f12a7303389ed9fea799a2 (patch) | |
tree | 54d492415fdeeece0604e7ae81788ea250d6a30b | |
parent | 76148785eb8d59638a2fbdae8ae145aba50d6c51 (diff) | |
download | buildstream-chandan/unpin-sphinx.tar.gz |
tox.ini: Unpin sphinx dependencychandan/unpin-sphinx
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.
-rw-r--r-- | tox.ini | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -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 = |