diff options
| author | Javier Jardón <jjardon@gnome.org> | 2019-04-22 12:40:20 -0700 |
|---|---|---|
| committer | Javier Jardón <jjardon@gnome.org> | 2019-05-04 07:19:44 +0000 |
| commit | 0a1b6ab7cb2f26502384761fe60e080051f14235 (patch) | |
| tree | 2c953009d81d33202cdb923d5ba4a1cf62b2e81d | |
| parent | cf32c4df128fc147c08a27db42ceafd306e12174 (diff) | |
| download | buildstream-0a1b6ab7cb2f26502384761fe60e080051f14235.tar.gz | |
tox.ini: do not hardcode sphinx versionjjardon/sphinx_2
This is not needed anymore since
431e578bf1b80074bd0f0ca8559e998dad59d4c0
| -rw-r--r-- | tox.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -93,7 +93,7 @@ commands = make -C doc # sphinx_rtd_theme < 0.4.2 breaks search functionality for Sphinx >= 1.8 deps = - sphinx == 1.8.5 + sphinx >= 1.8.5 sphinx-click sphinx_rtd_theme >= 0.4.2 pytest |