Added this file for documentation of maintenance tasks

[mir.git] / build.xml

diff --git a/build.xml b/build.xml
index 2767c13..4ae38f4 100755 (executable)
--- a/build.xml
+++ b/build.xml
@@ -145,6 +145,9 @@
      that separately.
 -->
   <target name="dist" depends="prepare,compile">
+    <jar jarfile="mirbase.jar"
+        includes="mir/**"
+        basedir="../Mir/WEB-INF/classes"/>
     <jar jarfile="${dist.src}"
          basedir="./source"/>
     <jar jarfile="${dist.war}"