From e31dfdabe9718134b78d9de41db551d3363d5bd7 Mon Sep 17 00:00:00 2001
From: Blottiere Paul <blottiere.paul@gmail.com>
Date: Tue, 26 May 2020 22:07:15 +0200
Subject: [PATCH] Add workflow to publish website on github pages

---
 .github/workflows/website.yml | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 .github/workflows/website.yml

diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml
new file mode 100644
index 0000000..50965c5
--- /dev/null
+++ b/.github/workflows/website.yml
@@ -0,0 +1,24 @@
+name: "Website"
+
+on:
+  push:
+    branches:
+    - master
+
+jobs:
+  code:
+    name: Website
+    runs-on: ubuntu-18.04
+    steps:
+      - name: Check out repository code
+        uses: actions/checkout@v2
+      - name: Install sphinx
+        run: sudo apt-get install python3-sphinx python3-sphinxcontrib.bibtex
+      - name: Build html documentation
+        run: cd doc && make html && cd -
+      - name: Deploy
+        uses: peaceiris/actions-gh-pages@v2.4.0
+        env:
+          ACTIONS_DEPLOY_KEY: ${{ secrets.ACTIONS_DEPLOY_KEY }}
+          PUBLISH_BRANCH: gh-pages
+          PUBLISH_DIR: ./doc/build/html/