From: bruno <bruno>
Date: Tue, 8 Oct 2002 14:09:40 +0000 (+0000)
Subject: we do not need to copy src to the deployment home, do we?
X-Git-Tag: BEFORE_MERGE_1_1~518
X-Git-Url: http://erislabs.org.uk/gitweb/?a=commitdiff_plain;h=7a93fcce539898c65edf71fe3dc341a7e3cc94ca;p=mir.git

we do not need to copy src to the deployment home, do we?
---

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"/>