Use sphinx_rtd documentation theme, added logo and link to source on Gitlab

This commit is contained in:
Eliot Berriot 2019-10-02 16:27:59 +02:00
commit 994bfbeb04
No known key found for this signature in database
GPG key ID: DD6965E2476E5C27
4 changed files with 47 additions and 6 deletions

View file

@ -71,7 +71,7 @@ review_docs:
- cd docs
- apt-get update
- apt-get install -y graphviz
- pip install sphinx
- pip install sphinx sphinx_rtd_theme
script:
- ./build_docs.sh
cache:
@ -203,7 +203,7 @@ pages:
- cd docs
- apt-get update
- apt-get install -y graphviz
- pip install sphinx
- pip install sphinx sphinx_rtd_theme
script:
- ./build_docs.sh
cache: