1 <project name="Publish Help Webpages for Jalview" default="pubhtmlhelp">
3 <target name="pubhtmlhelp">
4 <property name="appletHelpDir" value="../build/distributions/help"/>
5 <!-- finally, publish the help files -->
6 <javac srcdir="." destdir="." includes="help2Website.java"/>
7 <java fork="true" dir="${helpBuildDir}" classpath="." classname="help2Website"/>
8 <delete dir="${appletHelpDir}"/>
9 <copy preservelastmodified="true" overwrite="true"
10 todir="${appletHelpDir}">
11 <fileset dir="${helpBuildDir}">
12 <include name="*htm*"/>
13 <include name="icons/**.*"/>
14 <include name="html/**/*.*"/>
15 <exclude name="**/CVS"/>
19 <replace dir="${appletHelpDir}">
20 <include name="**/*.htm*"/>
21 <replacetoken><![CDATA[</body>]]></replacetoken>
22 <replacevalue><![CDATA[
23 <script type="text/javascript">
24 var gaJsHost = (("https:" == document.location.protocol) ?
25 "https://ssl." : "http://www.");
26 document.write(unescape("%3Cscript src=\'" + gaJsHost +
27 "google-analytics.com/ga.js\' type=\'text/javascript\'%3E%3C/script%3E"));
29 <script type="text/javascript">
31 var pageTracker = _gat._getTracker("'UA-9060947-1'");
32 pageTracker._trackPageview();
38 <echo file="${appletHelpDir}/help.html">
40 <title>Jalview Documentation</title>
42 <frameset cols="300,*">
43 <frame src="helpTOC.html" name=tocframe scrolling=yes >
44 <frame src="html/index.html" name=bodyframe >
46 This page requires a browser that supports frames.
47 <script type="text/javascript">
48 var gaJsHost = (("https:" == document.location.protocol) ?
49 "https://ssl." : "http://www.");
50 document.write(unescape("%3Cscript src=\'" + gaJsHost +
51 "google-analytics.com/ga.js\' type=\'text/javascript\'%3E%3C/script%3E"));
53 <script type="text/javascript">
55 var pageTracker = _gat._getTracker("'UA-9060947-1'");
56 pageTracker._trackPageview();