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 | |
| parent | 7f208e2a134a8e8f127eba491cc4aaa3ad207423 (diff) | |
| download | scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.tar.gz scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.tar.bz2 scala-8e4ce216bd255d63d860cf6845ba261ef6cd4c42.zip | |
- added 'doc.dir'.
| -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 |