From 845e2aa9b3322ea79187b5e381f46aebaa0f1c48 Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Fri, 30 Oct 2020 11:01:27 +0100
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/Jenkinsfile b/Jenkinsfile
index 9954fa9..7213df5 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -78,7 +78,21 @@ pipeline {
 				sh "git commit -m \"Add generated files\" || true"
 				sh "cd tdlib; mvn -B -s $MVN_SET -Drevision=${BUILD_NUMBER} clean deploy"
 				sh "cd tdlight; mvn -B -s $MVN_SET -Drevision=${BUILD_NUMBER} clean deploy"
-				/* Publish javadocs */
+			}
+		}
+
+		stage("Publish Javadocs") {
+			agent {
+				docker {
+					image 'maven:3.6.3-openjdk-11'
+					args '-v $HOME:/var/maven'
+					reuseNode true
+				}
+			}
+			when {
+				expression { params.RELEASE }
+			}
+			steps {
 				sh "\
 					cd tdlight/target/apidocs; \
 					git remote add origin https://git.ignuranza.net/tdlight-team/tdlight-docs; \