From: Jim Procter <jprocter@issues.jalview.org>
Date: Wed, 22 May 2019 16:00:09 +0000 (+0100)
Subject: JAL-3274 copy classes/.build_properties to site/swingjs/j2s/
X-Git-Tag: Develop-2_11_2_0-d20201215~24^2~68^2~132
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=31e059ffb929c80fae7273406c1110d3356fb939;p=jalview.git

JAL-3274 copy classes/.build_properties to site/swingjs/j2s/
---

diff --git a/build-site.xml b/build-site.xml
index 29f2745..0cc062d 100644
--- a/build-site.xml
+++ b/build-site.xml
@@ -31,6 +31,9 @@
   	<!-- non-Java resources to copy to site/swingjs/j2s -->
     <property name="resource.dir" value="resources" />  	
   	
+  	<!-- build_properties datastamp file to copy to site/swingjs/j2s -->
+    <property name="build_properties" value="classes/.build_properties" />  	
+ 
   	<!-- non-Java resources to copy to site/ -->
     <property name="site-resource.dir" value="site-resources" />  	
   	
@@ -75,7 +78,8 @@
   	<copy todir="${j2s.dir}">
       <fileset dir="${resource.dir}">
       	<include name="**"/>
-  	</fileset>
+  	  </fileset>
+  	  <fileset file="${build_properties}"/>	
     </copy>
       		
   	<echo> Copying ${site-resource.dir} files into ${site.dir} </echo>