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

jcambon
04.36.2008 0da31e2ca0ef9cbfe5ba253948e384197f086d21
Fix for issue #3456 : Add a new property to build.xml : wiki.home
1 files modified
3 ■■■■■ changed files
opends/build.xml 3 ●●●●● patch | view | raw | blame | history
opends/build.xml
@@ -48,6 +48,7 @@
  <property name="docgen.dir"       location="${build.dir}/docgen"    />
  <property name="configguide.dir"  location="${docgen.dir}/configuration_guide"    />
  <property name="configguideldap.dir"  location="${docgen.dir}/configuration_guide_with_ldap_mapping"    />
  <property name="wiki.home"        value="https://www.opends.org/wiki"/>
  <property name="resource.dir"     location="resource"                />
  <property name="scripts.dir"      location="${resource.dir}/bin"     />
  <property name="config.dir"       location="${resource.dir}/config"  />
@@ -822,6 +823,7 @@
        <dirset dir="${classes.dir}" />
      </classpath>
      <jvmarg value="-DGenerationDir=${configguide.dir}"/>
      <jvmarg value="-DOpendsWiki=${wiki.home}"/>
    </java>
  </target>
@@ -841,6 +843,7 @@
        <dirset dir="${classes.dir}" />
      </classpath>
      <jvmarg value="-DGenerationDir=${configguideldap.dir}"/>
      <jvmarg value="-DOpendsWiki=${wiki.home}"/>
      <jvmarg value="-DLdapMapping"/>
    </java>
  </target>