From: amwaterhouse
Date: Tue, 13 Dec 2005 10:36:47 +0000 (+0000)
Subject: Builds web TOC for help files
X-Git-Tag: Root_VamJalview_2_07b+~241
X-Git-Url: http://source.jalview.org/gitweb/?a=commitdiff_plain;h=397839d27a0ef4e39b5fbf944ac05ca21eff12f8;p=jalview.git
Builds web TOC for help files
---
diff --git a/utils/help2Website.java b/utils/help2Website.java
new file mode 100755
index 0000000..7156c1a
--- /dev/null
+++ b/utils/help2Website.java
@@ -0,0 +1,90 @@
+import java.io.*;
+import java.util.*;
+
+public class help2Website
+{
+
+ public static void main(String [] args)
+ {
+ try{
+ Hashtable targets = new Hashtable();
+
+ File toc = new File("helpTOC.xml");
+ File jhm = new File("help.jhm");
+
+ BufferedReader in = new BufferedReader(new FileReader(jhm));
+
+ PrintWriter out = new PrintWriter(new FileWriter("helpTOC.html"));
+ out.println("Jalview - Help \n"
+ +"\n"
+ +"Contents
\n"
+ +"\n");
+
+ String line;
+
+ StringTokenizer st;
+ StringBuffer indent = new StringBuffer();
+ String target, url, text;
+ while( (line = in.readLine()) != null)
+ {
+ if(line.indexOf("target")==-1)
+ continue;
+
+ st = new StringTokenizer(line, "\"");
+ st.nextToken(); //")!=-1)
+ indent.setLength(indent.length()-18);
+
+ if(line.indexOf(""+indent+""
+ +text
+ +"");
+ else
+ out.println(" "+indent+text);
+
+
+ if(line.indexOf("/>")==-1)
+ indent.append(" ");
+
+ }
+
+
+ out.close();
+
+ }
+
+ catch(Exception ex)
+ {
+ ex.printStackTrace();
+
+ System.out.println("Usage: move to Help directory. help2Website will read"
+ +"\nhelpTOC.xml and help.jhm producing output helpTOC.html");
+ }
+ }
+
+
+}
\ No newline at end of file
|