From 31e059ffb929c80fae7273406c1110d3356fb939 Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Wed, 22 May 2019 17:00:09 +0100
Subject: [PATCH] JAL-3274 copy classes/.build_properties to site/swingjs/j2s/

---
 build-site.xml |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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>
-- 
1.7.10.2