summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2013-12-13 14:06:46 -0800
committerAdriaan Moors <adriaan.moors@typesafe.com>2013-12-13 14:06:46 -0800
commit7e74aa6b134bcaf158bd51aa7a63a4aaa8fee62e (patch)
tree36489095b19d5d7db8d31547346eb1be1a685522
parent5aeb4123a3ef3ba009e3a44c22d79f622425fea7 (diff)
parentd68bbe4b832d1a44473577d0dc004523a8ca6d3a (diff)
downloadscala-7e74aa6b134bcaf158bd51aa7a63a4aaa8fee62e.tar.gz
scala-7e74aa6b134bcaf158bd51aa7a63a4aaa8fee62e.tar.bz2
scala-7e74aa6b134bcaf158bd51aa7a63a4aaa8fee62e.zip
Merge pull request #3270 from adriaanm/fix-dist.doc
Fixup for #3265
-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">