From a9afa20ca3a270c58905dfb4c06c0483e9289285 Mon Sep 17 00:00:00 2001
From: Joakim Erdfelt <joakim.erdfelt@gmail.com>
Date: Fri, 19 Aug 2016 11:58:41 -0700
Subject: [PATCH] Moving jetty-documentation to release profile

---
 pom.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pom.xml b/pom.xml
index 4551370784a..c78a2f4da2b 100644
--- a/pom.xml
+++ b/pom.xml
@@ -936,9 +936,11 @@
       <activation>
         <jdk>[1.8,1.9)</jdk>
       </activation>
+      <!--
       <modules>
         <module>jetty-documentation</module>
       </modules>
+       -->
       <build>
         <pluginManagement>
           <plugins>
@@ -1026,6 +1028,7 @@
       <id>eclipse-release</id>
       <modules>
         <module>aggregates/jetty-all</module>
+        <module>jetty-documentation</module>
       </modules>
       <build>
         <plugins>