diff options
| author | Laura Ekstrand <laura@jlekstrand.net> | 2018-05-15 21:46:27 -0700 |
|---|---|---|
| committer | Laura Ekstrand <laura@jlekstrand.net> | 2018-06-15 16:07:18 -0700 |
| commit | cfe7470114278003f92994f4022d96ac97bfaa62 (patch) | |
| tree | 57bfcd52bd57ed48852e983429a93804a1df7c96 /.gitlab-ci.yml | |
| parent | d29da8ddb6334f57d46741aaa8f7dbce601ff523 (diff) | |
docs: Add command for Sphinx build.
This does two things. 1. It pulls a Docker image which is a Linux
system with Sphinx and the Read the Docs Sphinx theme already installed.
2. It uses sphinx-build to build html from our rst pages.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 66a9bca8a6..d52069275f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,7 +1,9 @@ +image: registry.freedesktop.org/ldeks/mesa:latest + pages: stage: deploy script: - - cp -r docs/* public + - sphinx-build -b html -j 4 docs public artifacts: paths: - public |