projects
/
mir.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
309b6dc
)
we do not need to copy src to the deployment home, do we?
author
bruno
<bruno>
Tue, 8 Oct 2002 14:09:40 +0000
(14:09 +0000)
committer
bruno
<bruno>
Tue, 8 Oct 2002 14:09:40 +0000
(14:09 +0000)
build.xml
patch
|
blob
|
history
diff --git
a/build.xml
b/build.xml
index
c6a64cc
..
0dcf3ec
100755
(executable)
--- a/
build.xml
+++ b/
build.xml
@@
-121,10
+121,12
@@
<copy todir="${deploy.home}/templates">
<fileset dir="templates"/>
</copy>
<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}/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"/>
<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"/>
</copy>
<copy todir="${deploy.home}">
<fileset dir="source" includes="**/content-types.properties"/>
+ <!-- server.xml is currently not used
<fileset dir="source" includes="**/server.xml"/>
<fileset dir="source" includes="**/server.xml"/>
+ -->
</copy>
<copy todir="${deploy.classes}/bundles">
<fileset dir="bundles" includes="**/*.properties"/>
</copy>
<copy todir="${deploy.classes}/bundles">
<fileset dir="bundles" includes="**/*.properties"/>