From 2d2411791fb5e712b814167022054cb1f75c984a Mon Sep 17 00:00:00 2001
From: John Blum <jblum@pivotal.io>
Date: Mon, 25 Jun 2018 21:18:32 -0700
Subject: [PATCH] Add 'Deploy Docs' build phase/task.

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

diff --git a/Jenkinsfile b/Jenkinsfile
index d3164d70..518ad798 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -62,6 +62,16 @@ try {
 				}
 			}
 		}
+		docs: {
+			stage('Deploy Docs') {
+				node {
+					checkout scm
+					withCredentials([file(credentialsId: 'docs.spring.io-jenkins_private_ssh_key', variable: 'DEPLOY_SSH_KEY')]) {
+						sh "./gradlew deployDocs -PdeployDocsSshKeyPath=$DEPLOY_SSH_KEY -PdeployDocsSshUsername=$SPRING_DOCS_USERNAME --refresh-dependencies --no-daemon --stacktrace"
+					}
+				}
+			}
+		}
 	}
 }
 finally {