Update deploy.yaml

dini-ag-kim · Sep 26, 2024 · d12c4d3 · d12c4d3
1 parent cc21801
commit d12c4d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
@@ -14,7 +14,7 @@ jobs:
         path: main
     - name: Build HTML for main
       run: |
-           wget -O widoco.jar https://github.com/dgarijo/Widoco/releases/download/v1.4.17/java-11-widoco-1.4.17-jar-with-dependencies.jar
+           wget -O widoco.jar https://github.com/dgarijo/Widoco/releases/download/v1.4.25/java-11-widoco-1.4.25-jar-with-dependencies.jar
            mkdir public 
            java -jar widoco.jar -ontFile main/lehrplan.ttl -outFolder public -htaccess -uniteSections -includeAnnotationProperties -lang de-en  -getOntologyMetadata -noPlaceHolderText -rewriteAll -webVowl
            cp public/index-de.html public/index.html