deegree#1436 - up dated Jenkinsfile, archive documentation

lat-lon · Jun 6, 2024 · cecddb2 · cecddb2
1 parent a0fee75
commit cecddb2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -75,7 +75,7 @@ pipeline {
             post {
                 success {
                     archiveArtifacts artifacts: '**/target/deegree-webservices-*.war', fingerprint: true
-                    archiveArtifacts artifacts: '**/target/deegree-webservices-handbook*.zip', fingerprint: true
+                    archiveArtifacts artifacts: '**/target/deegree-documentation*.zip', fingerprint: true
                 }
             }
         }