From dd53f9ac574f83214224e43cc5d5a647a66c2a62 Mon Sep 17 00:00:00 2001
From: jprocter <Jim Procter>
Date: Wed, 15 Sep 2010 20:31:14 +0000
Subject: [PATCH] clean the dist directory before copying Jars

---
 build.xml |    9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml
index deb50ed..818415d 100755
--- a/build.xml
+++ b/build.xml
@@ -398,9 +398,14 @@
 	</target>
 
 	<target name="makedist" depends="build, buildPropertiesFile, buildindices">
-		<!-- make the package jar -->
+		<!-- make the package jar if not already existing -->
 		<mkdir dir="${packageDir}" />
-
+		<!-- clean dir if it already existed -->
+		<delete>
+			<fileset dir="${packageDir}">
+				<include name="*.jar"/>
+			</fileset>
+		</delete>
 		<jar destfile="${packageDir}/${outputJar}">
 			<manifest>
 				<attribute name="Main-Class" value="jalview.bin.Jalview" />
-- 
1.7.10.2