summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2013-12-13 12:36:15 -0800
committerAdriaan Moors <adriaan.moors@typesafe.com>2013-12-13 12:36:15 -0800
commitd68bbe4b832d1a44473577d0dc004523a8ca6d3a (patch)
tree36489095b19d5d7db8d31547346eb1be1a685522 /build.xml
parent5aeb4123a3ef3ba009e3a44c22d79f622425fea7 (diff)
downloadscala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.tar.gz
scala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.tar.bz2
scala-d68bbe4b832d1a44473577d0dc004523a8ca6d3a.zip
Fixup for #3265
Diffstat (limited to 'build.xml')
-rwxr-xr-xbuild.xml3
1 files changed, 0 insertions, 3 deletions
diff --git a/build.xml b/build.xml
index e8bd5179e7..c83ad41f1e 100755
--- a/build.xml
+++ b/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">