diff options
author | michelou <michelou@epfl.ch> | 2005-10-11 13:51:10 +0000 |
---|---|---|
committer | michelou <michelou@epfl.ch> | 2005-10-11 13:51:10 +0000 |
commit | 8e4ce216bd255d63d860cf6845ba261ef6cd4c42 (patch) | |
tree | aa7bc734ad9f3e64be07eb25fceab36b2fc47fa4 /config | |
parent | 7f208e2a134a8e8f127eba491cc4aaa3ad207423 (diff) | |
download | scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.tar.gz scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.tar.bz2 scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.zip |
- added 'doc.dir'.
Diffstat (limited to 'config')
-rw-r--r-- | config/build.default.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/build.default.properties b/config/build.default.properties index 8982bd2f35..6b6590db89 100644 --- a/config/build.default.properties +++ b/config/build.default.properties @@ -22,6 +22,7 @@ java.jar=${java.home}/jre/lib/rt.jar ant.jar=${ant.home}/lib/ant.jar +doc.dir=${basedir}/doc sources.dir=${basedir}/sources newsources.dir=${basedir}/newsources support.dir=${basedir}/support |