install mdbook

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index f69ae9f554d9f2b394c7321269426fb736b81955..62ed127ffdc7bdef357bf6e7614c43fa5b4a80ad 100644 (file)
--- 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,