From: amwaterhouse <Andrew Waterhouse>
Date: Thu, 15 Sep 2005 09:39:30 +0000 (+0000)
Subject: Dont add time to build date
X-Git-Tag: Release_2_05b~8
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=bac974b204dc7c4aa8245402be091a0e62dd28c5;p=jalview.git

Dont add time to build date
---

diff --git a/build.xml b/build.xml
index 38f5358..89342b4 100755
--- a/build.xml
+++ b/build.xml
@@ -85,7 +85,7 @@
     <taskdef classpath="utils/roxes-ant-tasks-1.2-2004-01-30.jar" resource="com/roxes/tools/ant/taskdefs.properties"/>
     <target name="buildPropertiesFile" depends="init">
       <tstamp prefix="build">
-        <format property="date" pattern="dd MMMM yyyy hh.mm aa"/>
+        <format property="date" pattern="dd MMMM yyyy"/>
       </tstamp>
       <properties file="${outputDir}/.build_properties">
         <header>
@@ -340,6 +340,7 @@
       -injars      in.jar
       -outjars     jalviewApplet.jar
       -keep public class jalview.bin.JalviewLite
+      		{ public static void main(java.lang.String[]);}
     </proguard>
     <delete file="in.jar"/>
   </target>