summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPhillip Smyth <phillip.smyth@codethink.co.uk>2018-10-02 17:14:09 +0000
committerPhillip Smyth <phillip.smyth@codethink.co.uk>2018-10-02 17:14:09 +0000
commitdae842fd0ba159ab8443fe279e8c8ba1de8871f8 (patch)
tree29fbfdfc44194e1f253692d2cfdd82d39fdd4ea5
parent0458bc4e6173e499d6d3be4f46e5484331f411b6 (diff)
parentd5b396e01f41bc7577092d5345c3ef77a236493a (diff)
downloadbuildstream-dae842fd0ba159ab8443fe279e8c8ba1de8871f8.tar.gz
Merge branch 'docs_Search_not_working' into 'master'
Fixing: Search functionality in the Documentation has stopped working Closes #681 See merge request BuildStream/buildstream!848
-rw-r--r--.gitlab-ci.yml3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 239f30f80..07fa859d8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -145,7 +145,8 @@ docs:
stage: test
script:
- export BST_SOURCE_CACHE="$(pwd)/cache/integration-cache/sources"
- - pip3 install sphinx
+ # Currently sphinx_rtd_theme does not support Sphinx >1.8, this breaks search functionality
+ - pip3 install sphinx==1.7.9
- pip3 install sphinx-click
- pip3 install sphinx_rtd_theme
- cd dist && ./unpack.sh && cd buildstream