OPENDJ-1011: Update install.txt and install.html

Mark Craig

25.16.2013 dec1aef026797c6063661f6c03b9c139bf4eb32c

 opends/build.xml

@@ -1188,15 +1188,6 @@
    <copy todir="${pdir}">
      <fileset file="${resource.dir}/README" />
    </copy>

    <copy todir="${pdir}">
      <fileset file="${resource.dir}/install.html" />
    </copy>

    <copy todir="${pdir}">
      <fileset file="${resource.dir}/install.txt" />
    </copy>

    <copy todir="${pdir}">
      <fileset file="${resource.dir}/images/opendj_logo.png" />
    </copy>