diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-05-01 14:18:45 +0200 |
|---|---|---|
| committer | Jeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com> | 2023-09-25 09:43:37 +0200 |
| commit | c654b48763592baae78b10f6fefec10be29e979b (patch) | |
| tree | 4cf9e2bcd2bfd9e06a1490a6db8090a239b86273 /.github | |
| parent | 7ff5a9d9078affb710192f0c7699980646f228df (diff) | |
Workflows: Add mermaid support for mdbook
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/deploy.yml | 17 |
1 files changed, 15 insertions, 2 deletions
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index f7dc4a0..9981b44 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -20,10 +20,18 @@ jobs: # Verify hash echo "d276b0e594d5980de6a7917ce74c348f28d3cb8b353ca4eaae344ae8a4c40bea mdbook.tar.gz" | sha256sum --check + # Get mdbook-mermaid + curl -sSL https://github.com/badboy/mdbook-mermaid/releases/download/v0.12.6/mdbook-mermaid-v0.12.6-x86_64-unknown-linux-gnu.tar.gz -o mdbook-mermaid.tar.gz + # Verify hash + echo "04f9fa41f89b7a1809ef2525efc7ad2c112df4ae1241de25efe354940441ea70 mdbook-mermaid.tar.gz" | sha256sum --check + # Extract mkdir mdbook tar -xzf mdbook.tar.gz --directory mdbook + mkdir mdbook-mermaid + tar -xzf mdbook-mermaid.tar.gz --directory mdbook-mermaid echo `pwd`/mdbook >> $GITHUB_PATH + echo `pwd`/mdbook-mermaid >> $GITHUB_PATH - name: Install sphinx run: | # Install python dependencies @@ -53,8 +61,13 @@ jobs: cd wrappers/python/docs make html - # Go to docs directory & build mdbook - cd ../../../docs + # Go to root + cd ../../.. + + # Install mermaid preprocessor + mdbook-mermaid install docs + + cd docs mdbook build # gh pages branch settings |