summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjwijenbergh <jeroenwijenbergh@protonmail.com>2023-05-01 14:18:45 +0200
committerJeroen Wijenbergh <46386452+jwijenbergh@users.noreply.github.com>2023-09-25 09:43:37 +0200
commitc654b48763592baae78b10f6fefec10be29e979b (patch)
tree4cf9e2bcd2bfd9e06a1490a6db8090a239b86273
parent7ff5a9d9078affb710192f0c7699980646f228df (diff)
Workflows: Add mermaid support for mdbook
-rw-r--r--.github/workflows/deploy.yml17
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