From a6f3e28f8ff1aa49f890ab4025f7d7c72e5b8fa3 Mon Sep 17 00:00:00 2001
From: Eric Bottard <eric.bottard+github@gmail.com>
Date: Fri, 8 Sep 2017 17:41:32 +0200
Subject: [PATCH] Disable building docs (incl javadocs) by default

---
 pom.xml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 2ac9e82a..02d4c07b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -30,7 +30,6 @@
 		<module>spring-shell-jcommander-adapter</module>
 		<module>spring-shell-shell1-adapter</module>
 		<module>spring-shell-starter</module>
-		<module>spring-shell-docs</module>
 		<module>spring-shell-table</module>
 	</modules>
 
@@ -252,5 +251,17 @@
 				<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>