From b67ec145738066f1cfacb4bf985c38e22f0d15cf Mon Sep 17 00:00:00 2001
From: Karl-Philipp Wulfert <wulfert@tu-berlin.de>
Date: Wed, 6 Feb 2019 15:55:04 +0100
Subject: [PATCH] ci: generate and publish documentation

---
 .gitlab-ci.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b5d504b..1c057577 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -157,3 +157,14 @@ custom:gi-u:
 
 custom:ks-ug:
   <<: *publish_template_manual
+
+publish:pages:
+  stage: publish
+  script:
+    - npm run documentation
+    - mv docs public
+  only:
+    - /^v[0-9]+\.[0-9]+\.[0-9]+$/
+  artifacts:
+    paths:
+      - public