From 70f9e1de8a16eff7e6e8b4491f1fc2870ab89471 Mon Sep 17 00:00:00 2001
From: amwaterhouse <Andrew Waterhouse>
Date: Mon, 11 Jul 2005 13:12:53 +0000
Subject: [PATCH] Write jalview.version in resources

---
 build.xml |    4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/build.xml b/build.xml
index 1bb59e8..8d93cda 100755
--- a/build.xml
+++ b/build.xml
@@ -216,12 +216,10 @@
         <resources>
           <j2se version="1.4+"/>
           <fileset dir="${packageDir}">
-            <include name="jalview.jar"/>
-          </fileset>
-          <fileset dir="${packageDir}">
             <include name="*.jar"/>
             <exclude name="jalview.jar"/>
           </fileset>
+          <property name="jalview.version" value="${JALVIEW_VERSION}"/>
         </resources>
         <application_desc main_class="jalview.bin.Jalview">
           </application_desc>
-- 
1.7.10.2