From 9d78e2268db285bd88280558d4079ed982bb99b4 Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Fri, 30 Oct 2020 18:26:49 +0100
Subject: [PATCH] doc: test & deploy on CI

---
 .github/workflows/ci.yml | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index eac2b0a342..b31395df7a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -125,5 +125,26 @@ jobs:
           cd build
           make update-stage0 && make -j4
         if: matrix.name == 'Linux'
+      - name: Install cargo
+        uses: actions-rs/toolchain@v1
+        with:
+          toolchain: stable
+          profile: minimal
+        if: matrix.name == 'Linux release'
+      - name: Build manual
+        run: |
+          cargo install --git https://github.com/leanprover/mdBook mdbook
+          export PATH=~/.cargo/bin:$PWD/build/stage1/bin:$PATH
+          cd doc
+          mdbook build
+          mdbook test
+        if: matrix.name == 'Linux release'
+      - name: Publish manual
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: ./doc/out
+          destination_dir: ./doc
+        if: matrix.name == 'Linux release' && github.ref == 'refs/heads/master' && github.event_name == 'push'
       - name: CCache stats
         run: ccache -s