From f1b4c1393832c9a0766f33ce8f15f8743d391c20 Mon Sep 17 00:00:00 2001
From: Marcin Grzejszczak <marcin.grzejszczak@gmail.com>
Date: Tue, 2 Jun 2020 12:24:17 +0200
Subject: [PATCH] Unskipping deployment of docs

---
 docs/pom.xml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/docs/pom.xml b/docs/pom.xml
index 708475b36..bffef7ea9 100644
--- a/docs/pom.xml
+++ b/docs/pom.xml
@@ -18,17 +18,6 @@
 		<maven.plugin.plugin.version>3.4</maven.plugin.plugin.version>
 		<upload-docs-zip.phase>deploy</upload-docs-zip.phase>
 	</properties>
-	<build>
-		<plugins>
-			<plugin>
-				<artifactId>maven-deploy-plugin</artifactId>
-				<version>2.8.2</version>
-				<configuration>
-					<skip>true</skip>
-				</configuration>
-			</plugin>
-		</plugins>
-	</build>
 	<profiles>
 		<profile>
 			<id>docs</id>