mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 6abdd971 | patch | commit | show whitespace
Mark Craig
04.22.2014 779f8bd20a9aa3a0fb99a5e12ecdd96131341b38 
Workaround for OPENDJ-1394: Admin guide hangs PDF build
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,6 +173,7 @@


         <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>