diff options
author | michelou <michelou@epfl.ch> | 2006-06-08 15:11:48 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2006-06-08 15:11:48 +0000 |
commit | 7427ad112713c10ac6763c4217fc3737194e1b98 (patch) | |
tree | 67af0ee76050a351a3d6166aa3c96de6a263e575 /build.xml | |
parent | 8b6eba1a9c40eeb5b89abe181ff5e18fe21d1758 (diff) | |
download | scala-7427ad112713c10ac6763c4217fc3737194e1b98.tar.gz scala-7427ad112713c10ac6763c4217fc3737194e1b98.tar.bz2 scala-7427ad112713c10ac6763c4217fc3737194e1b98.zip |
reactivated call to 'load' in file DocGenerator...
reactivated call to 'load' in file DocGenerator.scala
Diffstat (limited to 'build.xml')
-rw-r--r-- | build.xml | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -789,6 +789,15 @@ GENERATES A DISTRIBUTION <copy todir="${dist.current.dir}/man"> <fileset dir="${docs.dir}/man/dists" includes="**/*.1"/> </copy> + <copy todir="${dist.current.dir}/doc/scala/tools"> + <fileset dir="${docs.dir}/man/src"> + <include name="**/*.html"/> + <include name="**/*.css"/> + <include name="**/*.gif"/> + <include name="**/*.png"/> + </fileset> + <fileset dir="${docs.dir}/man/dists" includes="**/*.html"/> + </copy> <!-- Recreate the 'latest' link to point to this distribution --> <if><isset property="os.win"/> <then> |