From a8b922dc8868dc36994838b5628ed2dd0d424eeb Mon Sep 17 00:00:00 2001
From: Jim Procter <jprocter@issues.jalview.org>
Date: Wed, 23 May 2018 15:17:45 +0100
Subject: [PATCH] JAL-2895 replace $$Jalview-Version$$ in help.jhm with build
 version when indexing built in help pages

---
 build.xml     |    7 +++++++
 help/help.jhm |    2 +-
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 3d26efc..133941a 100755
--- a/build.xml
+++ b/build.xml
@@ -308,6 +308,13 @@
   </target>
 
   <target name="buildindices" depends="init, prepare" unless="help.uptodate">
+    <replace value="${JALVIEW_VERSION}">
+      <replacetoken><![CDATA[$$Version-Rel$$]]></replacetoken>
+      <fileset dir="${outputDir}/${helpDir}">
+        <include name="help.jhm" />
+      </fileset>
+    </replace>
+
     <java classname="com.sun.java.help.search.Indexer" classpathref="build.classpath" fork="true" dir="${outputDir}/${helpDir}">
       <arg line="html" />
     </java>
diff --git a/help/help.jhm b/help/help.jhm
index d9a201a..e4bf12c 100755
--- a/help/help.jhm
+++ b/help/help.jhm
@@ -22,7 +22,7 @@
    <mapID target="home" url="html/index.html" />
    
    <mapID target="new" url="html/whatsNew.html"/>
-   <mapID target="release" url="html/releases.html#Jalview.2.10.4"/>
+   <mapID target="release" url="html/releases.html#Jalview.$$Version-Rel$$"/>
    <mapID target="alannotation" url="html/features/annotation.html"/>
    <mapID target="keys" url="html/keys.html"/>
    <mapID target="newkeys" url="html/features/newkeystrokes.html"/>
-- 
1.7.10.2