--- ./webapps/webdav/build.xml.orig	Mon Apr  2 19:07:23 2001
+++ ./webapps/webdav/build.xml	Mon Apr  2 19:06:44 2001
@@ -10,7 +10,8 @@
 
 
   <!-- ================== Derived Property Values ========================= -->
-  <property name="servlet.jar"     value="${servletapi.home}/lib/servlet.jar"/>
+  <property name="servletapi.lib"  value="${servletapi.home}/lib"/>
+  <property name="servlet.jar"     value="${servletapi.lib}/servlet.jar"/>
 
 
   <!-- =================== BUILD: Create Directories ====================== -->