JAL-3210 replacing j11lib/Jmol-14.29.17-no_netscape.jar with unsigned version. Tempor...

[jalview.git] / build-site.xml

diff --git a/build-site.xml b/build-site.xml
index b2d88e2..0cc062d 100644 (file)
--- a/build-site.xml
+++ b/build-site.xml
@@ -28,9 +28,15 @@
        <!-- location of third-party jar contents as precompiled zipped .js files to copy to site/ -->
        <property name="libjs.dir" value="libjs" />
  
-       <!-- non-Java resources to copy to site/ -->
+       <!-- 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" />       
+       
        <!-- output directories -->
 
        <property name="site.dir" value="site" />
@@ -72,6 +78,14 @@
        <copy todir="${j2s.dir}">
       <fileset dir="${resource.dir}">
        <include name="**"/>
+         </fileset>
+         <fileset file="${build_properties}"/> 
+    </copy>
+               
+       <echo> Copying ${site-resource.dir} files into ${site.dir} </echo>
+       <copy todir="${site.dir}">
+      <fileset dir="${site-resource.dir}">
+       <include name="**"/>
        </fileset>
     </copy>