[docs] all: Switch to sphinx-readthedocs-theme

From https://github.com/readthedocs/sphinx_rtd_theme
This commit is contained in:
Jonathan Rubenstein
2021-12-26 03:40:41 +02:00
committed by Geoffrey McRae
parent 4dccd725bf
commit ff6c46f7ca
3 changed files with 9 additions and 6 deletions

View File

@@ -179,7 +179,7 @@ jobs:
sudo apt-get update
- name: Install docs dependencies
run: |
sudo apt-get install python3-sphinx
sudo apt-get install python3-sphinx python3-sphinx-rtd-theme
sudo pip3 install sphinxcontrib-spelling
- name: Build docs
run: |