JAL-3192 finally, make a JalviewJS_corename.html inside site for each core

diff --git a/buildcore.xml b/buildcore.xml
index 8e6144b..9520f9e 100644 (file)
--- a/buildcore.xml
+++ b/buildcore.xml
@@ -50,6 +50,8 @@
     </antcall>
 
     <echo>......Now copy an html file in site/ and add   core:"${core.name}",    to the Info block.</echo>
+    <copy file="site/jalview_bin_Jalview.html" tofile="site/JalviewJS_${core.name}.html"/>
+    <replace token="NONE" value="${core.name}" file="site/JalviewJS_${core.name}.html"/>
 
   </target>