diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-13 12:36:15 -0800 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-12-13 12:36:15 -0800 |
commit | d68bbe4b832d1a44473577d0dc004523a8ca6d3a (patch) | |
tree | 36489095b19d5d7db8d31547346eb1be1a685522 | |
parent | 5aeb4123a3ef3ba009e3a44c22d79f622425fea7 (diff) | |
download | scala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.tar.gz scala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.tar.bz2 scala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.zip |
Fixup for #3265
-rwxr-xr-x | build.xml | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -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"> |