JAL-3210 replacing j11lib/Jmol-14.29.17-no_netscape.jar with unsigned version. Tempor...
[jalview.git] / 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>