From a408647b654486d6b73b4d071e950e99ec2fdc2c Mon Sep 17 00:00:00 2001
From: Arnaud Legrand <arnaud.legrand@imag.fr>
Date: Tue, 12 Mar 2019 11:04:42 +0100
Subject: [PATCH] Trying to set up html export through the gitlab pages
 mechanism

---
 .gitlab-ci.yml | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 .gitlab-ci.yml

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..f177792
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,16 @@
+pages:
+  stage: deploy
+  script:
+  - for file in $(find -name "*.md"); do
+      pandoc -s -f markdown_github -t html -o ${file%.*}.html $file && echo "Exported ${file%.*}.html" || echo "ERROR $file";
+    done
+  - for file in $(find -name "*.org"); do
+      pandoc -s -f org -t html -o ${file%.*}.html $file && echo "Exported ${file%.*}.html" || echo "ERROR $file";
+    done
+  - shopt -s extglob
+  - mv !(public) public
+  artifacts:
+    paths:
+    - public
+  only:
+  - master
-- 
2.18.1