add doc script to run after build for local testing, include ANNOds i…

…n doc, resolve #3

.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

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