diff --git a/default.properties b/default.properties index a7f267290e8..0817f174823 100644 --- a/default.properties +++ b/default.properties @@ -21,7 +21,6 @@ demo.src = ./src/demo demo.jsp = ./src/jsp test.src = ./src/test docs.dir = ./docs -lib.dir = ./lib dist.dir=${final.name} dist-src.dir = ${final.name}-src @@ -46,9 +45,6 @@ build.demo.classes = ${build.demo}/classes build.demo.name = ${name}-demos-${version} build.demo.war.name = luceneweb -build.anttask = ${build.dir}/anttask -build.anttask.classes = ${build.anttask}/classes - build.docweb = ${build.dir}/docweb build.docweb.war.name = lucenedocweb