Github pages:Try enabling mermaid rendering and adding index pages

sib-swiss · Jun 25, 2024 · ca13815 · ca13815
1 parent 6a4107b
commit ca13815
Show file tree

Hide file tree

Showing 5 changed files with 26 additions and 1 deletion.
diff --git 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:
@@ -37,6 +37,9 @@ jobs:
     - name: generate markdown
       run: java -jar target/sparql-examples-util-*-uber.jar -i examples/ -m 
 
+    - name: generate indexes
+      run: for d in $(ls examples/);do if [[ -d examples/"$d" ]];then cd examples/"$d";for e in $(ls *.md);do echo "[${e:0:-3}](./${e:0:-3})";done> index.md;cd ../../;fi;done
+
     - name: Setup Pages
       id: pages
       uses: actions/configure-pages@v5

diff --git a/_config.yml b/_config.yml
@@ -0,0 +1 @@
+markdown: GFM
diff --git a/_includes/footer-scripts.html b/_includes/footer-scripts.html
@@ -0,0 +1 @@
+{% include mermaid.html %}
diff --git a/_includes/mermaid.html b/_includes/mermaid.html
@@ -0,0 +1,11 @@
+<script src="https://unpkg.com/[email protected]/dist/mermaid.min.js"></script>
+<script>
+  $(document).ready(function () {
+    mermaid.initialize({
+      startOnLoad:true,
+      theme: "default",
+    });
+    window.mermaid.init(undefined, document.querySelectorAll('.language-mermaid'));
+  });
+</script>
+
diff --git a/_layouts/base.html b/_layouts/base.html
@@ -0,0 +1,9 @@
+<!DOCTYPE html>
+<html lang="{{ page.language | default: site.language | default: 'en' }}">
+{% include head.html %}
+<body>
+  {{ content }}
+
+  {% include footer-scripts.html %}
+</body>
+</html>