summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml7
1 files changed, 1 insertions, 6 deletions
diff --git a/build.xml b/build.xml
index 5fa0411c5e..c30e060360 100644
--- a/build.xml
+++ b/build.xml
@@ -1868,12 +1868,7 @@ TODO:
<copy toDir="${dist.dir}/doc/scala-devel-docs/api">
<fileset dir="${build-docs.dir}/library"/>
</copy>
- <mkdir dir="${dist.dir}/doc/scala-devel-docs/examples"/>
- <copy toDir="${dist.dir}/doc/scala-devel-docs/examples">
- <fileset dir="${docs.dir}/examples">
- <exclude name="**/*.desired.sha1"/>
- </fileset>
- </copy>
+
<mkdir dir="${dist.dir}/doc/scala-devel-docs/tools"/>
<copy toDir="${dist.dir}/doc/scala-devel-docs/tools">
<fileset dir="${build-docs.dir}/manual/html"/>