diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 1e07eb2..c654861 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -4,7 +4,7 @@ on: workflow_dispatch: push: branches: - - master + - dist jobs: doc: @@ -13,6 +13,9 @@ jobs: WIDOCO_DOWNLOAD_URL: https://github.com/dgarijo/Widoco/releases/download/v1.4.20/widoco-1.4.20-jar-with-dependencies_JDK-17.jar steps: - uses: actions/checkout@v4 + with: + ref: 'dist' + - name: Cache Widoco uses: actions/cache@v4 with: @@ -27,7 +30,7 @@ jobs: wget $WIDOCO_DOWNLOAD_URL --progress=dot:giga --output-document=jar/widoco.jar - name: Run Widoco - run: java -jar jar/widoco.jar -ontFile annodc.owl -rewriteAll -uniteSections -getOntologyMetadata -outFolder . + run: java -jar jar/widoco.jar -ontFile anno.ttl -rewriteAll -uniteSections -getOntologyMetadata -outFolder . - name: Rename index-en.html to index.html run: mv doc/index-en.html doc/index.html diff --git a/scripts/doc b/scripts/doc new file mode 100755 index 0000000..e3962d6 --- /dev/null +++ b/scripts/doc @@ -0,0 +1,6 @@ +#!/bin/sh +# call scripts/combine first +SCRIPTPATH=`dirname "$0"` +BASEPATH="$SCRIPTPATH/.." +BASEPATH=`( cd "$BASEPATH" && pwd )` +widoco -ontFile $BASEPATH/dist/anno.ttl -ontFile $BASEPATH/annods.owl -rewriteAll -uniteSections -getOntologyMetadata -ignoreIndividuals -outFolder /tmp