Update deploy_doc.yaml

Include PGO environment to get a documentation on PGO content, as well.
MarkusSchilling · Dec 13, 2023 · 9cda382 · 9cda382
1 parent 2ff2cc8
commit 9cda382
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/deploy_doc.yaml b/.github/workflows/deploy_doc.yaml
@@ -33,6 +33,15 @@ jobs:
            mkdir -p public/${{ env.ao }}
            java -jar widoco.jar -ontFile deploy_checkout/${{ env.aodir }}/${{ env.aottl }} -outFolder public/${{ env.ao }} -htaccess -uniteSections -includeAnnotationProperties -lang en-de  -getOntologyMetadata -noPlaceHolderText -rewriteAll -webVowl
            cp public/${{ env.ao }}/index-en.html public/${{ env.ao }}/index.html
+    - env:
+        ao: pgo
+        aodir: precipitate_geometry_ontology_PGO
+        aottl: pmd_pgo.ttl
+      name: Build HTML docs for ${{ env.ao }} on ${{ github.ref_name }}
+      run: | 
+           mkdir -p public/${{ env.ao }}
+           java -jar widoco.jar -ontFile deploy_checkout/${{ env.aodir }}/${{ env.aottl }} -outFolder public/${{ env.ao }} -htaccess -uniteSections -includeAnnotationProperties -lang en-de  -getOntologyMetadata -noPlaceHolderText -rewriteAll -webVowl
+           cp public/${{ env.ao }}/index-en.html public/${{ env.ao }}/index.html
 ## Somehow this isn't working for hto
 #    - env:
 #        ao: hto