Minor changes.

diff --git a/build.xml b/build.xml
index 7daa9ec..ebb81e6 100755 (executable)
--- 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>