From: mj <mj>
Date: Tue, 26 Mar 2002 20:28:17 +0000 (+0000)
Subject: Minor changes.
X-Git-Tag: prexmlproducerconfig~239
X-Git-Url: http://erislabs.net/gitweb/?p=mir.git;a=commitdiff_plain;h=ac6315eb5543794d14edf8f9df12c20c2fde9abc

Minor changes.
---

diff --git a/build.xml b/build.xml
index 7daa9ecb..ebb81e6f 100755
--- a/build.xml
+++ b/build.xml
@@ -2,7 +2,7 @@
 
 
 <!-- What this file is all about
-
+     
      You can use this version of build.xml to use directly with ant
      i.e. without the build.sh script. Simply call ant and let it all
      happen.
@@ -49,7 +49,7 @@
 
 	java.home          The location of your Java SDK.
 
-	java.localhome     Where your local java classes and jar files
+	java.localhome     Where your local java classes and jar files 
                        are located.
 
 	tomcat.home        The location of the tomcat root directory.
@@ -58,9 +58,6 @@
 
   <property name="app.name"       value="Mir"/>
   <property name="deploy.home"    value="../${app.name}"/>
-  <property name="java.home"   	  value="/usr/lib/j2sdk1.3/"/>
-  <property name="java.localhome" value="/usr/share/java/"/>
-  <property name="tomcat.home"    value="/usr/share/tomcat/"/>
 
 
 <!-- No customization required after this line -->
@@ -71,6 +68,10 @@
   <property name="dist.src"       value="${app.name}.jar"/>
   <property name="dist.war"       value="${app.name}.war"/>
   <property name="javadoc.home"   value="${deploy.home}/javadoc"/>
+  <!-- The following 3 properties seem redundant -->
+  <property name="java.home"   	  value="/usr/lib/j2sdk1.3/"/>
+  <property name="java.localhome" value="/usr/share/java/"/>
+  <property name="tomcat.home"    value="/usr/share/tomcat/"/>
 
 
   <!-- Construct the classpath -->
@@ -81,14 +82,15 @@
     <fileset dir="lib">
       <include name="*.jar"/>
     </fileset>
-    <fileset dir="${java.home}/lib">
+<!--    <fileset dir="${java.home}/lib">
       <include name="tools.jar"/>
       <include name="rt.jar"/>
     </fileset>
     <fileset dir="${java.localhome}">
       <include name="*.jar"/>
     </fileset>
-    <pathelement path="${tomcat.home}/lib/tomcat.jar"/>
+    <pathelement path="${tomcat.home}/lib/tomcat.jar"/> 
+-->
   </path>
 
 
@@ -124,9 +126,6 @@
         <exclude name="xerces.jar"/>
       </fileset>
     </copy>
-    <copy todir="${deploy.home}/WEB-INF/classes/bundles">
-      <fileset dir="bundles"/>
-    </copy>
     <mkdir  dir="${javadoc.home}"/>
     <mkdir  dir="${deploy.home}/log"/>
 
@@ -185,19 +184,7 @@
     <copy   todir="${deploy.home}">
       <fileset dir="source" includes="**/content-types.properties"/>
     </copy>
-    <copy   todir="${deploy.classes}/bundles">
-      <fileset dir="bundles" includes="**/*.properties"/>
-    </copy>
-<!--
 	<exec executable="./perms.sh"/>
--->
-<!--	<echo>
-		Now you should call perms.sh(-dist) in order to set
-		the permissions of your installed files to a meaningful
-		value.
-		Have fun with Mir!
-	</echo>
--->
   </target>