From: Jérémie Astor <astor.jeremie@wanadoo.fr>
Date: Thu, 16 Jan 2020 20:42:23 +0000 (+0100)
Subject: install mdbook
X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=a06f279de8af7b3713aee68c56c8ff233a317c81;p=gwion.git

install mdbook
---

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f69ae9f5..62ed127f 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -25,6 +25,12 @@ jobs:
         cd Gwion
         git submodule update --init util ast
         make
+
+    - name: MdBook
+      uses: peaceiris/actions-mdbook@v1
+      with:
+        mdbook-version: 'latest'
+
     - name: try mdr
       run: |
         echo Add other actions to build,