From 508b4650692c9184d6e03504702f7ac323ebafbd Mon Sep 17 00:00:00 2001
From: Florian Pose <fp@igh.de>
Date: Fri, 1 Apr 2022 13:26:09 +0200
Subject: [PATCH] Build documentation.

---
 .gitlab-ci.yml | 19 ++++++++++++++++++-
 1 file changed, 18 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3386d4e5..caf7cb75 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -37,7 +37,24 @@ pages:
     artifacts:
         paths:
             - public/
- 
+
+documentation:
+    stage: deploy
+    rules:
+        - if: $CI_COMMIT_BRANCH == "stable-1.5"
+    script:
+        - ./bootstrap
+        - ./configure --disable-kernel --disable-userlib
+        - make -j8 all
+        - cd documentation
+        - mkdir external
+        - make
+        - make index
+        - make
+    artifacts:
+        paths:
+            - documentation/*.pdf
+
 # from 'Workflows/MergeRequest-Pipelines.gitlab-ci.yml', but on all branches
 workflow:
     rules: