mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 90b30832 | patch | commit | ignore whitespace
Mark Craig
05.26.2014 521931b82de91327a2c79a598a7e370a9ab7e380 
Partial fix for OPENDJ-1489: Update OpenDJ Docs for New Branding

This is only to use the newly-released tools.
1 files modified
1 ■■■■■ changed files
opendj-sdk/opendj3-server-dev/pom.xml 1 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opendj3-server-dev/pom.xml


@@ -173,7 +173,6 @@


         <googleAnalyticsId>${gaId}</googleAnalyticsId>


         <latestJson>http://mcraig.org/fr/latest.php</latestJson><!-- Temporary workaround pending #QOZ-985-23233 -->


         <docbkxSourceDirectory>${basedir}/src/main/docbkx</docbkxSourceDirectory>


         <brandingVersion>2.1.1</brandingVersion><!-- Workaround for OPENDJ-1395 -->


        </configuration>


        <executions>


          <execution>