From 6ecb20011a77317b2c56b658347c6d253b48ef57 Mon Sep 17 00:00:00 2001
From: rk <rk>
Date: Fri, 21 Sep 2001 09:29:51 +0000
Subject: [PATCH] changed jar for mirbase.jar, only classes from subdir mir are
 included. this jar can be used for other projects based on mir.

---
 build.xml | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index 3bb5b144..ca2862d3 100755
--- a/build.xml
+++ b/build.xml
@@ -146,8 +146,9 @@
 -->
   <target name="dist" depends="prepare,compile">
     <jar jarfile="mirbase.jar"
-		 basedir="./source/mir/>
-	<jar jarfile="${dist.src}"
+	 includes="mir/**"
+	 basedir="./source"/>
+    <jar jarfile="${dist.src}"
          basedir="./source"/>
     <jar jarfile="${dist.war}"
          basedir="${deploy.home}"/>
-- 
2.11.0