[Jenkins] Always run docs job.

ufz · Sep 23, 2016 · cccd18f · cccd18f
1 parent 717f675
commit cccd18f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -18,6 +18,7 @@ node('master') {
     builders['gcc'] = { load 'scripts/jenkins/gcc.groovy' }
     builders['msvc'] = { load 'scripts/jenkins/msvc.groovy' }
     builders['mac'] = { load 'scripts/jenkins/mac.groovy' }
+    builders['docs'] = { load 'scripts/jenkins/docs.groovy' }
 
     if (helper.isRelease()) {
         builders['msvc32'] = { load 'scripts/jenkins/msvc32.groovy' }

diff --git a/scripts/jenkins/docs.groovy b/scripts/jenkins/docs.groovy
@@ -15,7 +15,7 @@ node('docker') {
     }
 
     stage 'Reports (Docs)'
-    publishHTML([allowMissing: false, alwaysLinkToLastBuild: false, keepAll: false,
+    publishHTML(target: [allowMissing: false, alwaysLinkToLastBuild: false, keepAll: false,
         reportDir: 'build/docs', reportFiles: 'index.html', reportName: 'Doxygen'])
     step([$class: 'WarningsPublisher', canComputeNew: false,
         canResolveRelativePaths: false, consoleParsers: [[parserName: 'Doxygen']],