4 public class help2Website
\r
7 public static void main(String [] args)
\r
10 Hashtable targets = new Hashtable();
\r
12 File toc = new File("helpTOC.xml");
\r
13 File jhm = new File("help.jhm");
\r
15 BufferedReader in = new BufferedReader(new FileReader(jhm));
\r
17 PrintWriter out = new PrintWriter(new FileWriter("helpTOC.html"));
\r
18 out.println("<html><head></head><title>Jalview - Help </title></head>\n"
\r
19 +"<body bgcolor=#F1F1F1>\n"
\r
20 +"<p><center><strong>Contents</strong></center></p>\n"
\r
21 +"<table border=0 width=100%><tr><td width=100% nowrap><font face=Arial size=2>\n");
\r
26 StringBuffer indent = new StringBuffer();
\r
27 String target, url, text;
\r
28 while( (line = in.readLine()) != null)
\r
30 if(line.indexOf("target")==-1)
\r
33 st = new StringTokenizer(line, "\"");
\r
34 st.nextToken(); //<mapID target="
\r
36 target = st.nextToken();
\r
37 st.nextToken(); //" url="
\r
39 url = st.nextToken();
\r
40 targets.put(target, url);
\r
43 in = new BufferedReader(new FileReader(toc));
\r
44 while( (line = in.readLine()) != null)
\r
46 if(line.indexOf("</tocitem>")!=-1)
\r
47 indent.setLength(indent.length()-18);
\r
49 if(line.indexOf("<tocitem")==-1)
\r
52 st = new StringTokenizer(line, "\"");
\r
55 text = st.nextToken();
\r
58 target = st.nextToken();
\r
60 if(targets.get(target)!=null)
\r
61 out.println("<br>"+indent+"<a href=\""
\r
62 + targets.get(target)
\r
63 +"\" target=bodyframe>"
\r
67 out.println("<br>"+indent+text);
\r
70 if(line.indexOf("/>")==-1)
\r
71 indent.append(" ");
\r
82 ex.printStackTrace();
\r
84 System.out.println("Usage: move to Help directory. help2Website will read"
\r
85 +"\nhelpTOC.xml and help.jhm producing output helpTOC.html");
\r