Merged branch 'jetty-9.4.x' into 'master'.

2017-01-13 22:57:00 +01:00 · 2017-01-13 22:57:00 +01:00 · 5607b2a57a
parent 9c975d7c9b 08c52461ec
commit 5607b2a57a
1 changed files with 1 additions and 3 deletions
--- a/pom.xml
+++ b/pom.xml
@ -89,6 +89,7 @@
    <module>jetty-osgi</module>
    <module>jetty-alpn</module>
    <module>jetty-home</module>
+    <module>jetty-documentation</module>
    <!-- modules that need fixed and added back, or simply dropped and not maintained -->
    <!-- <module>jetty-rhttp</module> -->
    <!-- <module>jetty-overlay-deployer</module> -->
@ -992,9 +993,6 @@
      <activation>
        <jdk>[1.8,1.9)</jdk>
      </activation>
-      <modules>
-        <module>jetty-documentation</module>
-      </modules>
      <build>
        <pluginManagement>
          <plugins>