diff options
author | Javier Jardón <jjardon@gnome.org> | 2018-03-19 00:49:53 +0000 |
---|---|---|
committer | Javier Jardón <jjardon@gnome.org> | 2018-03-20 15:35:07 +0000 |
commit | 54827aa77d095aac1b2bc205cc124c0e6185b5a0 (patch) | |
tree | af001135692490cc1b25b0e359402f04ef8f4e18 /.gitlab-ci.yml | |
parent | e8e88e5c746e391da49b3eecba13414a11e55084 (diff) | |
download | buildstream-54827aa77d095aac1b2bc205cc124c0e6185b5a0.tar.gz |
Change theme to sphinx_rtd_theme
The sphinx_rtd_theme is a sphinx theme designed to look modern and be mobile-friendly
http://sphinx-rtd-theme.readthedocs.io/en/latest/index.html
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5be48c181..99d54e143 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -136,6 +136,7 @@ docs: - dnf install -y python2 - pip3 install sphinx - pip3 install sphinx-click + - pip3 install sphinx_rtd_theme - cd dist && ./unpack.sh && cd buildstream - pip3 install . - make -C doc |