From 4e60a6952c6b85e10335b3feb5fef6c81bba79a4 Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Fri, 1 Mar 2019 13:39:24 +0000
Subject: [PATCH] JAL-3192 finally, make a JalviewJS_corename.html inside site
 for each core

---
 buildcore.xml |    2 ++
 1 file changed, 2 insertions(+)

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