From ce1563fb4697b2c79331091f1664814c257c34d5 Mon Sep 17 00:00:00 2001
From: Eric Bottard <eric.bottard+github@gmail.com>
Date: Thu, 14 Sep 2017 15:40:02 +0200
Subject: [PATCH] Make docs part of normal build again, to fix release process
 :(

---
 pom.xml | 13 +------------
 1 file changed, 1 insertion(+), 12 deletions(-)

diff --git a/pom.xml b/pom.xml
index 83635f57..1d3477d6 100644
--- a/pom.xml
+++ b/pom.xml
@@ -38,6 +38,7 @@
 		<module>spring-shell-shell1-adapter</module>
 		<module>spring-shell-starter</module>
 		<module>spring-shell-table</module>
+		<module>spring-shell-docs</module>
 	</modules>
 
 	<dependencyManagement>
@@ -258,17 +259,5 @@
 				<module>spring-shell-samples</module>
 			</modules>
 		</profile>
-		<profile>
-			<!-- Skip docs by default -->
-			<id>full</id>
-			<activation>
-				<property>
-					<name>env.BUILD_DOCS</name>
-				</property>
-			</activation>
-			<modules>
-				<module>spring-shell-docs</module>
-			</modules>
-		</profile>
 	</profiles>
 </project>