CR-1977 Fix for OPENDJ-1005: Move server doc sources alongside other server...

Mark Craig

10.28.2013 08064afa3232a8fb857a14e0d1f33039c46859f6

 opendj-sdk/opends/build.xml

@@ -438,9 +438,6 @@

    <copy file="${resource.dir}/log-message-reference.xml"
          todir="${msg.logref.dir}" />
    <jar destfile="${docgen.dir}/log-ref.jar"
         basedir="${msg.logref.dir}"
         includes="**/*.xml" />
  </target>

  <!-- Remove all dynamically-generated build files. -->