diff options
author | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-05 09:08:33 +0000 |
---|---|---|
committer | Geoffrey Washburn <geoffrey.washburn@epfl.ch> | 2008-04-05 09:08:33 +0000 |
commit | 0b9cefa7e940eeddcb5ad8ab5e08c0902a408306 (patch) | |
tree | afe0d16d97498a2d2277c85709f0b23bb0b2e33c | |
parent | f9a68fb01de1edd3fa620912bbe75897133cc81b (diff) | |
download | scala-0b9cefa7e940eeddcb5ad8ab5e08c0902a408306.tar.gz scala-0b9cefa7e940eeddcb5ad8ab5e08c0902a408306.tar.bz2 scala-0b9cefa7e940eeddcb5ad8ab5e08c0902a408306.zip |
Corrected the bit that generates the scaladoc s...
Corrected the bit that generates the scaladoc script.
-rw-r--r-- | sabbus.xml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/sabbus.xml b/sabbus.xml index b2d7ec2b2a..79907f0184 100644 --- a/sabbus.xml +++ b/sabbus.xml @@ -563,25 +563,28 @@ MAKE MODEL DISTRIBUTION name="Scala code runner" class="scala.tools.nsc.MainGenericRunner" version="${version.number}" + copyright="${copyright.string}" javaFlags="${java.flags}"/> <scalatool file="${build-quick.dir}/bin/scalac" name="Scala compiler" class="scala.tools.nsc.Main" version="${version.number}" + copyright="${copyright.string}" javaFlags="${java.flags}"/> <scalatool file="${build-quick.dir}/bin/scaladoc" name="Scala doc generator" - class="scala.tools.nsc.Main" - toolflags="-Ydoc" + class="scala.tools.nsc.Scaladoc" version="${version.number}" + copyright="${copyright.string}" javaFlags="${java.flags}"/> <scalatool file="${build-quick.dir}/bin/fsc" name="Fast Scala compiler" class="scala.tools.nsc.CompileClient" version="${version.number}" + copyright="${copyright.string}" javaFlags="${java.flags}"/> <chmod perm="ugo+rx" file="${build-quick.dir}/bin/scala"/> <chmod perm="ugo+rx" file="${build-quick.dir}/bin/scalac"/> |