mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b29f96db | patch | commit | ignore whitespace
jcambon
17.14.2008 360944f6d8f77efb14140ab76d039c20ac8d339b 
Move configuration stylesheet from resource/config to resource/admin
1 files renamed
1 files modified
2 ■■■■■ changed files
opendj-sdk/opends/build.xml 2 ●●●●● patch | view | raw | blame | history
opendj-sdk/opends/resource/admin/opends-config.css patch | view | raw | blame | history 
 opendj-sdk/opends/build.xml


@@ -766,7 +766,7 @@


    <mkdir dir="${configguide.dir}" />


    <!-- copy the stylesheet file -->


    <copy todir="${configguide.dir}"


          file="${config.dir}/opends-config.css" />


          file="${admin.rules.dir}/opends-config.css" />


    <java fork="true" classname="org.opends.server.admin.doc.ConfigGuideGeneration" failonerror="true">


      <classpath>


        <fileset dir="${lib.dir}">




 opendj-sdk/opends/resource/admin/opends-config.css