Jenkinsfile-Windows: build and archive javadoc for web.

Author: greenrobot-team

ci/Jenkinsfile-Windows

@@ -1,6 +1,9 @@
+#!/usr/bin/env groovy
+
 String buildsToKeep = '500'
 
 String gradleArgs = '-Dorg.gradle.daemon=false --stacktrace'
+boolean isPublish = BRANCH_NAME == 'publish'
 
 // Note: using single quotes to avoid Groovy String interpolation leaking secrets.
 def internalRepoArgsBat = '-PinternalObjectBoxRepo=%MVN_REPO_URL% ' +
@@ -67,6 +70,18 @@ pipeline {
                 }
             }
         }
+
+        stage('package-javadoc-for-web') {
+            when { expression { return isPublish } }
+            steps {
+                bat "gradlew $gradleArgs $internalRepoArgsBat :objectbox-java:packageJavadocForWeb"
+            }
+            post {
+                always {
+                    archiveArtifacts artifacts: 'objectbox-java/build/dist/objectbox-java-web-api-docs.zip'
+                }
+            }
+        }
     }
 
     // For global vars see /jenkins/pipeline-syntax/globals

objectbox-java/build.gradle

@@ -38,11 +38,15 @@ javadoc {
 }
 
 // Note: use packageJavadocForWeb to get as ZIP.
-// Note: the style changes only work if using JDK 10+.
 task javadocForWeb(type: Javadoc) {
     group = 'documentation'
     description = 'Builds Javadoc incl. objectbox-java-api classes with web tweaks.'
 
+    javadocTool = javaToolchains.javadocToolFor {
+        // Note: the style changes only work if using JDK 10+, 11 is latest LTS.
+        languageVersion = JavaLanguageVersion.of(11)
+    }
+
     def srcApi = project(':objectbox-java-api').file('src/main/java/')
     if (!srcApi.directory) throw new GradleScriptException("Not a directory: ${srcApi}", null)
     // Hide internal API from javadoc artifact.