From 7a93fcce539898c65edf71fe3dc341a7e3cc94ca Mon Sep 17 00:00:00 2001
From: bruno <bruno>
Date: Tue, 8 Oct 2002 14:09:40 +0000
Subject: [PATCH] we do not need to copy src to the deployment home, do we?

---
 build.xml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/build.xml b/build.xml
index c6a64cc7..0dcf3ec1 100755
--- a/build.xml
+++ b/build.xml
@@ -121,10 +121,12 @@
     <copy todir="${deploy.home}/templates">
       <fileset dir="templates"/>
     </copy>
+    <!--??? why do we need the source in deployment? - br1
     <mkdir  dir="${deploy.home}/src"/>
     <copy todir="${deploy.home}/src">
       <fileset dir="source"/>
     </copy>
+    -->
 
     <mkdir  dir="${deploy.home}/WEB-INF"/>
     <copy  file="etc/web.xml"          tofile="${deploy.home}/WEB-INF/web.xml"/>
@@ -211,7 +213,9 @@
     </copy>
     <copy   todir="${deploy.home}">
       <fileset dir="source" includes="**/content-types.properties"/>
+      <!-- server.xml is currently not used
       <fileset dir="source" includes="**/server.xml"/>
+      -->
     </copy>
     <copy   todir="${deploy.classes}/bundles">
       <fileset dir="bundles" includes="**/*.properties"/>
-- 
2.11.0