set up CI

.ci/build_document.sh

@@ -0,0 +1,14 @@
+set -e
+echo "Building document"
+make pdf
+mkdir public
+mv build/Matboj_Regelwerk.pdf public
+mv build/Matboj_Regelwerk.log public
+cd public/
+if ! command -v tree &> /dev/null
+then
+  echo "No tree utility found, skipping making tree"
+else
+  tree -H '.' -I "index.html" -D --charset utf-8 -T "$course" > index.html
+fi
+

.gitlab-ci.yml

@@ -0,0 +1,34 @@
+stages:
+  - build
+  - pages
+
+default:
+    tags:
+        - latex
+
+build-document:
+  stage: build
+  script:
+      - .ci/build_document.sh
+  variables:
+      GIT_SUBMODULE_STRATEGY: recursive
+  artifacts:
+    paths:
+        - public/
+  only:
+      - tags
+      - branches
+        #      - merge_requests
+
+
+pages:
+    stage: pages
+    artifacts:
+        paths:
+            - public/
+    script:
+        - echo "Deploying to GitLab pages"
+        - test -f public/Matboj_Regelwerk.pdf
+    only:
+        - master
+        - main