From 397839d27a0ef4e39b5fbf944ac05ca21eff12f8 Mon Sep 17 00:00:00 2001
From: amwaterhouse
Date: Tue, 13 Dec 2005 10:36:47 +0000
Subject: [PATCH] Builds web TOC for help files
---
utils/help2Website.java | 90 +++++++++++++++++++++++++++++++++++++++++++++++
1 file changed, 90 insertions(+)
create mode 100755 utils/help2Website.java
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
--
1.7.10.2
|