diff --git a/.github/workflows/publish_github_pages.yaml b/.github/workflows/publish_github_pages.yaml index 771d651c7..974364cbb 100644 --- a/.github/workflows/publish_github_pages.yaml +++ b/.github/workflows/publish_github_pages.yaml @@ -1,5 +1,5 @@ # Publishes the Markdown pages. -name: CI +name: Publish to github-pages on: push: diff --git a/_includes/footer-scripts.html b/_includes/footer-scripts.html new file mode 100644 index 000000000..0804e97f9 --- /dev/null +++ b/_includes/footer-scripts.html @@ -0,0 +1 @@ +{% include mermaid.html %} diff --git a/_includes/mermaid.html b/_includes/mermaid.html new file mode 100644 index 000000000..7d050083a --- /dev/null +++ b/_includes/mermaid.html @@ -0,0 +1,11 @@ + + +