mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d85810b2 | patch | commit | ignore whitespace
Mark Craig
05.22.2011 f3177d003136c2342e627a3a232317d9fb74dc15 
Return to earlier property value, experimental value committed by accident in 7085
1 files modified
2 ■■■■■ changed files
opendj-sdk/opendj3/pom.xml 2 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opendj3/pom.xml


@@ -101,7 +101,7 @@


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


    <dbstyle-dir>${basedir}/src/main/docbkx-stylesheets</dbstyle-dir>


    <docbkx-out>${basedir}/target/docbkx</docbkx-out>


    <site-out>${project.reporting.outputDirectory}</site-out>


    <site-out>${basedir}/target/site</site-out>


    <legalnotice>${basedir}/target/docbkx/html/legalnotice.html</legalnotice>


  </properties>


  <build>