From 11673f3ecfc57039950bd9c70ecf1c5a28eda54e Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Tue, 31 Jul 2018 10:05:58 +0200
Subject: [PATCH] Automatically rebuild the pages on git push on framagit

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000000..1a005826f7
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,22 @@
+image: debian:testing-slim
+
+.build: &build
+  script:
+  - apt-get update
+  - apt-get install -y python3-sphinx doxygen python3-breathe python3-sphinx-rtd-theme
+  - cd docs
+  - sphinx-build -M html source/ build/
+  - mv build/html ../public
+  artifacts:
+    paths:
+    - public
+
+pages:
+  <<: *build
+  only:
+  - master
+
+test:
+  <<: *build
+  except:
+  - master
-- 
2.20.1