diff --git a/default.properties b/default.properties index 7e1af30be71..803c2f5c8ea 100644 --- a/default.properties +++ b/default.properties @@ -3,7 +3,7 @@ # --------------------------------------------------------- name=lucene Name=Lucene -version=1.2-rc5-dev +version=1.2-rc6-dev year=2000-2002 final.name=${name}-${version} debug=off @@ -40,7 +40,7 @@ build.demo = ${build.dir}/demo build.demo.src = ${build.demo}/src build.demo.classes = ${build.demo}/classes build.demo.name = ${name}-demos-${version} -build.war.name = luceneweb +build.demo.war.name = luceneweb build.anttask = ${build.dir}/anttask build.anttask.classes = ${build.anttask}/classes @@ -57,7 +57,7 @@ junit.classes = ${build.dir}/unit-classes junit.reports = ${build.dir}/unit-reports # Home directory of JavaCC -javacc.home = . +javacc.home = /usr/local/java/javacc21/bin javacc.zip.dir = ${javacc.home}/lib javacc.zip = ${javacc.zip.dir}/JavaCC.zip