[Mesa-dev] [PATCH 07/16] docs: Add command for Sphinx build.

[Laura Ekstrand]

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.
---
 .gitlab-ci.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 29b30541b5..8eb03c58e6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,8 +1,10 @@
+image: suttang/sphinx-rtd-theme
+
 pages:
    stage: deploy
    script:
    - mkdir .public
-   - cp -r docs/* .public
+   - sphinx-build -b html -j 4 docs .public
    - mv .public public
    artifacts:
      paths:
-- 
2.14.3