diff options
| -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 |