Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fixup for #3265

  • Loading branch information...
commit d68bbe4b832d1a44473577d0dc004523a8ca6d3a 1 parent 5aeb412
@adriaanm adriaanm authored
Showing with 0 additions and 3 deletions.
  1. +0 −3  build.xml
View
3  build.xml
@@ -1723,9 +1723,6 @@ TODO:
<copy toDir="${dist.dir}/doc/licenses" overwrite="true">
<fileset dir="${docs.dir}/licenses"/>
</copy>
- <copy toDir="${dist.dir}/doc/tools" overwrite="true">
- <fileset dir="${build-docs.dir}/manual/html"/>
- </copy>
<mkdir dir="${dist.dir}/api"/>
<copy toDir="${dist.dir}/api" overwrite="true">
Please sign in to comment.
Something went wrong with that request. Please try again.