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