JAL-3274 copy classes/.build_properties to site/swingjs/j2s/
authorJim Procter <jprocter@issues.jalview.org>
Wed, 22 May 2019 16:00:09 +0000 (17:00 +0100)
committerJim Procter <jprocter@issues.jalview.org>
Wed, 22 May 2019 16:00:09 +0000 (17:00 +0100)
build-site.xml

index 29f2745..0cc062d 100644 (file)
@@ -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>