From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 1 Mar 2019 13:39:24 +0000 (+0000)
Subject: JAL-3192 finally, make a JalviewJS_corename.html inside site for each core
X-Git-Tag: Release_2_11_4_0~45^2~18^2~237^2
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=4e60a6952c6b85e10335b3feb5fef6c81bba79a4;p=jalview.git

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