summaryrefslogtreecommitdiff
path: root/build.xml
diff options
context:
space:
mode:
authormichelou <michelou@epfl.ch>2006-03-15 16:59:10 +0000
committermichelou <michelou@epfl.ch>2006-03-15 16:59:10 +0000
commit15433cf43817a7e0cd8a22222ef776f9030ecf57 (patch)
tree38505009b8d74e1a7a39da432535c27d4ae180ca /build.xml
parent91ff3e0a6d3a690696fe2d29c616d83f4abc69e8 (diff)
downloadscala-15433cf43817a7e0cd8a22222ef776f9030ecf57.tar.gz
scala-15433cf43817a7e0cd8a22222ef776f9030ecf57.tar.bz2
scala-15433cf43817a7e0cd8a22222ef776f9030ecf57.zip
added license and readme files to the doc
corrected classpath handling in tool-unix.tmpl
Diffstat (limited to 'build.xml')
-rw-r--r--build.xml3
1 files changed, 3 insertions, 0 deletions
diff --git a/build.xml b/build.xml
index 68e6e280c1..2609e5af12 100644
--- a/build.xml
+++ b/build.xml
@@ -983,6 +983,9 @@ GENERATES A DISTRIBUTION
perm="ugo+rx"
/>
<!-- Copy the API, examples and man -->
+ <copy todir="${dist.current.dir}/doc/${dist.name}">
+ <fileset dir="${docs.dir}" includes="README,LICENSE"/>
+ </copy>
<copy todir="${dist.current.dir}/doc/${dist.name}/api">
<fileset dir="${api.lib.dir}"/>
</copy>