From 809db41a8a202a4f6f1560019b0f8ceb5a3cce87 Mon Sep 17 00:00:00 2001
From: Wouter Horlings <wouter@horlin.gs>
Date: Wed, 6 May 2020 11:35:22 +0200
Subject: [PATCH] update the gitlab-ci for the documentation

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0eeda04..a4220cd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -22,3 +22,22 @@ design_specifications:
     changes:
       - specifications/system/*
       - misc/preamble.tex
+
+initial_design:
+  stage: typeset
+  image: pandoc/latex:latest
+  script:
+    - cd initial_design
+    - pandoc initial_design.md -o initial_design.pdf
+    - pandoc exploration/design_space_exploration.md -o design_space_exploration.pdf
+  artifacts:
+    paths:
+      - initial_design/initial_design.pdf
+      - initial_design/design_space_exploration.pdf
+  only:
+    refs:
+      - web
+      - branches
+      - tags
+    changes:
+      - initial_design/*