From d12c4d3e4e78bdf23baaf708766cad13fdc3d354 Mon Sep 17 00:00:00 2001
From: joergwa <94534396+joergwa@users.noreply.github.com>
Date: Thu, 26 Sep 2024 22:23:39 +0200
Subject: [PATCH] Update deploy.yaml

---
 .github/workflows/deploy.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
index 002a306..4bb7415 100644
--- 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