From fb4ae2d64cfb1f5a5922185d3361e77f8856e2bd Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin.grzejszczak@gmail.com>
Date: Mon, 25 May 2020 14:39:01 +0200
Subject: [PATCH] Setting up repository for docs.spring.io migration

---
 docs/pom.xml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/docs/pom.xml b/docs/pom.xml
index 3fee1c753..708475b36 100644
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -16,6 +16,7 @@
 		<docs.main>spring-cloud-function</docs.main>
 		<main.basedir>${basedir}/..</main.basedir>
 		<maven.plugin.plugin.version>3.4</maven.plugin.plugin.version>
+		<upload-docs-zip.phase>deploy</upload-docs-zip.phase>
 	</properties>
 	<build>
 		<plugins>
@@ -31,9 +32,6 @@
 	<profiles>
 		<profile>
 			<id>docs</id>
-			<properties>
-				<upload-docs-zip.phase>deploy</upload-docs-zip.phase>
-			</properties>
 			<build>
 				<plugins>
 					<plugin>