Add stage to deploy doc to GitLab pages

.gitlab-ci.yml

@@ -61,3 +61,19 @@ deploy-staging:
     - launch_job_template deploy-csentry-staging
   only:
     - master
+
+pages:
+  <<: *runner_tags
+  stage: deploy
+  image: "$CONTAINER_RELEASE_IMAGE"
+  before_script: []
+  script:
+    - sphinx-build -M html docs docs/_build
+    - mv docs/_build/html public
+  artifacts:
+    paths:
+      - public
+  # CI_COMMIT_TAG is used in docs/conf.py
+  # Don't forget to update if not only deploying docs for tags
+  only:
+    - tags

docs/conf.py

@@ -62,7 +62,12 @@ author = 'Benjamin Bertrand'
 # built documents.
 #
 # The short X.Y version.
-version = os.popen('git describe').read().strip()
+try:
+    # CI_COMMIT_TAG is defined by GitLab Runner when building tags
+    version = os.environ['CI_COMMIT_TAG']
+except KeyError:
+    # dev mode
+    version = os.popen('git describe').read().strip()
 # The full version, including alpha/beta/rc tags.
 release = version