diff options
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 7 |
1 files changed, 1 insertions, 6 deletions
@@ -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"/> |