Fixing: Search functionality in the Documentation has stopped working

Description

The theme we use in our docs "sphinx_rtd_theme" does not support the latest version of Sphinx (>1.8) This results in search functionality failing

Changes proposed in this merge request:

• Force buildstream to use Sphinx 1.7.8 until this is resolved

This merge request, when approved, will close: #681 (closed)

---

Looks like some non related commits have got caught in this

added 29 commits

• dce87aaf...0458bc4e - 28 commits from branch master
• af5937bb - Forcing CI to install Sphinx 1.7.8

Compare with previous version

@tpollard Yeah i noticed, should be all ok now :)

This has been tested manually, and search functionality seems to work now :)

added Doing label

approved this merge request

added 1 commit

• d5b396e0 - Forcing CI to install Sphinx 1.7.9

Compare with previous version

resolved all discussions

enabled an automatic merge when the pipeline for d5b396e0 succeeds

merged

mentioned in commit dae842fd

removed Doing label