diff --git a/Jenkinsfile b/Jenkinsfile index 594503c1df3..c313265fbee 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -180,9 +180,9 @@ pipeline { steps { echo 'Building Site' // Generate the driver documentation. - sh './mvnw -P${JENKINS_PROFILE},with-java,skip-prerequisite-check,jdk9+ site -X -pl :plc4j-driver-all' + sh './mvnw -P${JENKINS_PROFILE},with-java,skip-prerequisite-check site -X -pl :plc4j-driver-all' // Build the actual website. - sh './mvnw -P${JENKINS_PROFILE},skip-prerequisite-check,jdk9+ site -X -pl .' + sh './mvnw -P${JENKINS_PROFILE},skip-prerequisite-check site -X -pl .' } } diff --git a/pom.xml b/pom.xml index 759d4c3535b..7c64795b197 100644 --- a/pom.xml +++ b/pom.xml @@ -1268,7 +1268,7 @@ 3.12.1 - true + false true false en