mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Mark Craig
18.02.2016 591d43576eb17f6a5c797861d06ae4ea8fb31fb8
opendj-server-legacy/pom.xml
@@ -1488,9 +1488,16 @@
        Build the configuration reference, reference documentation source files,
        and assemble artifacts from the results.
        The artifacts are used when preparing the product documentation.
        This profile is active without being specified explicitly.
        To deactivate this profile, use as exclamation point as in `-P!docs`.
      -->
      <id>docs</id>
      <activation>
        <activeByDefault>true</activeByDefault>
      </activation>
      <build>
        <plugins>
          <plugin>