diff options
author | Javier Jardón <jjardon@gnome.org> | 2019-04-03 14:02:58 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2019-04-03 14:02:58 +0000 |
commit | 88597e7bb5e464989d6d80e992520cb2853d88ef (patch) | |
tree | 0d7cb5506ee721067f9effa8205ac40fea49f224 | |
parent | 5e638aa386238c5f5562e8b0562127d28f722252 (diff) | |
parent | 36c3a0631e4acbff3dcdb06fc8c55a03bf38da48 (diff) | |
download | buildstream-88597e7bb5e464989d6d80e992520cb2853d88ef.tar.gz |
Merge branch 'jjardon/bst-1.2-docs' into 'bst-1.2'
tox.ini: pin [testenv:docs] sphinx dependency to 1.8.5
See merge request BuildStream/buildstream!1277
-rw-r--r-- | tox.ini | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -63,7 +63,7 @@ commands = make -C doc # sphinx_rtd_theme < 0.4.2 breaks search functionality for Sphinx >= 1.8 deps = - sphinx + sphinx == 1.8.5 sphinx-click sphinx_rtd_theme >= 0.4.2 -rrequirements/requirements.txt |