From 8e4ce216bd255d63d860cf6845ba261ef6cd4c42 Mon Sep 17 00:00:00 2001 From: michelou Date: Tue, 11 Oct 2005 13:51:10 +0000 Subject: - added 'doc.dir'. --- config/build.default.properties | 1 + 1 file changed, 1 insertion(+) 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 -- cgit v1.2.3