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

Mark Craig
05.28.2014 1c983c4aa573702c541afe052654cc5147f69182
Partial fix for OPENDJ-1489: Update OpenDJ Docs for New Branding; This is only to use the newly-released tools.
1 files modified
3 ■■■■ changed files
opends/pom.xml 3 ●●●● patch | view | raw | blame | history
opends/pom.xml
@@ -99,7 +99,7 @@
    <docPreviousVersion>2.6.0</docPreviousVersion>
    <sdkDocTargetVersion>${docTargetVersion}</sdkDocTargetVersion>
    <frDocPluginVersion>2.1.0</frDocPluginVersion>
    <frDocPluginVersion>2.1.2</frDocPluginVersion>
    <gaId>UA-23412190-8</gaId>
    <!--
@@ -200,7 +200,6 @@
         <latestJson>http://mcraig.org/fr/latest.php</latestJson><!-- Temporary workaround pending #QOZ-985-23233 -->
         <googleAnalyticsId>${gaId}</googleAnalyticsId>
         <docbkxSourceDirectory>${basedir}/src/main/docbkx</docbkxSourceDirectory>
         <brandingVersion>2.1.1</brandingVersion><!-- Workaround for OPENDJ-1395 -->
        </configuration>
        <executions>
          <execution>