diff options
| author | Chandan Singh <git@chandansingh.net> | 2019-01-21 16:41:51 +0000 |
|---|---|---|
| committer | Chandan Singh <chandan@chandansingh.net> | 2019-01-23 00:45:47 +0000 |
| commit | 3895571a861eef8543b504f8c34c6e595f57c742 (patch) | |
| tree | 23d72e9a4e75987ee2d274c4d9cd1dd02476de01 /tox.ini | |
| parent | 56e857f41d96e20280f90c1dc994327251711bcd (diff) | |
| download | buildstream-3895571a861eef8543b504f8c34c6e595f57c742.tar.gz | |
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.
Diffstat (limited to 'tox.ini')
| -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 = |