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

Mark Craig

10.28.2013 695493c1ac74e69eeb6315a6a1cada566b304421

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