diff --git a/.github/workflows/publish_github_pages.yaml b/.github/workflows/publish_github_pages.yaml index 771d651c7..7eb9df673 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: @@ -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 new file mode 100644 index 000000000..88b63ad68 --- /dev/null +++ b/_config.yml @@ -0,0 +1 @@ +markdown: GFM 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 @@ + + + diff --git a/_layouts/base.html b/_layouts/base.html new file mode 100644 index 000000000..cdd5fb94a --- /dev/null +++ b/_layouts/base.html @@ -0,0 +1,9 @@ + + +{% include head.html %} + + {{ content }} + + {% include footer-scripts.html %} + +