frick this language

.github/workflows/deploy.yml

@@ -25,26 +25,26 @@ jobs:
       with:
         cache-all-crates: "true"
         cache-targets: "false"
-    - run: cargo install --locked --path .
+    # - run: cargo install --locked --path .
 
-    # - name: Install latest mdbook
+    - name: Install latest mdbook
-    #   run: |
+      run: |
-    #     tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')        
+        tag=$(curl 'https://api.github.com/repos/rust-lang/mdbook/releases/latest' | jq -r '.tag_name')        
-    #     url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz"
+        url="https://github.com/rust-lang/mdbook/releases/download/${tag}/mdbook-${tag}-x86_64-unknown-linux-gnu.tar.gz"
-    #     mkdir mdbook
+        mkdir mdbook
-    #     curl -sSL $url | tar -xz --directory=./mdbook
+        curl -sSL $url | tar -xz --directory=./mdbook
-    #     echo `pwd`/mdbook >> $GITHUB_PATH
+        echo `pwd`/mdbook >> $GITHUB_PATH
-    # - name: Install plugins
+    - name: Install plugins
-    #   run: |
+      run: |
-    #     cargo install mdbook-bib
+        cargo install mdbook-bib
-    #     cargo install mdbook-mermaid
+        cargo install mdbook-mermaid
     - name: Deploy GitHub Pages
       run: |
         # This assumes your book is in the root of your repository.
         # Just add a `cd` here if you need to change to another directory.
-        # mdbook build
+        mdbook build
         # the binary of the package builds the book!
-        docs
+        # docs
         git worktree add gh-pages
         git config user.name "Deploy from CI"
         git config user.email ""