From d6d35235a45191f6d637e03443fa03f59ce6740a Mon Sep 17 00:00:00 2001
From: Andrea Cavalli <andrea@cavallium.it>
Date: Fri, 30 Oct 2020 10:59:38 +0100
Subject: [PATCH] Update Jenkinsfile

---
 Jenkinsfile | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 1e8df70..9954fa9 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -78,6 +78,14 @@ 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 */
+				sh "\
+					cd tdlight/target/apidocs; \
+					git remote add origin https://git.ignuranza.net/tdlight-team/tdlight-docs; \
+					git add -A; \
+					git commit -m \"Update javadocs\"; \
+					git push --set-upstream origin master --force; \
+					"
 			}
 		}
 	}