diff options
author | michelou <michelou@epfl.ch> | 2006-03-09 14:13:01 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-03-09 14:13:01 +0000 |
commit | b5c077e394e4fb1a370fc4c04793cba9361c8888 (patch) | |
tree | 8b164b4157489426d7503c768d9b6adce2c7a17d /build.xml | |
parent | 57edf1ab5ec40364d19a84b2db78dc284ff9dad9 (diff) | |
download | scala-b5c077e394e4fb1a370fc4c04793cba9361c8888.tar.gz scala-b5c077e394e4fb1a370fc4c04793cba9361c8888.tar.bz2 scala-b5c077e394e4fb1a370fc4c04793cba9361c8888.zip |
added directory 'examples' to generated distrib...
added directory 'examples' to generated distribution
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -988,10 +988,13 @@ GENERATES A DISTRIBUTION file="${dist.current.dir}/bin/${scalaint.exec.name}" perm="ugo+rx" /> - <!-- Copy the API and man --> + <!-- Copy the API, examples and man --> <copy todir="${dist.current.dir}/doc/${dist.name}/api"> <fileset dir="${api.lib.dir}"/> </copy> + <copy todir="${dist.current.dir}/doc/${dist.name}/examples"> + <fileset dir="${examples.dir}"/> + </copy> <copy todir="${dist.current.dir}/man"> <fileset dir="${docs.dir}/man"/> </copy> |