\r
public static void main(String [] args)\r
{\r
+ String line = "";\r
try{\r
Hashtable targets = new Hashtable();\r
\r
BufferedReader in = new BufferedReader(new FileReader(jhm));\r
\r
PrintWriter out = new PrintWriter(new FileWriter("helpTOC.html"));\r
- out.println("<html><head></head><title>Jalview - Help </title></head>\n"\r
+ out.println("<html><head><title>Jalview - Help </title></head>\n"\r
+"<body bgcolor=#F1F1F1>\n"\r
+"<p><center><strong>Contents</strong></center></p>\n");\r
\r
- String line;\r
\r
StringTokenizer st;\r
StringBuffer indent = new StringBuffer();\r
if(line.indexOf("target")==-1)\r
continue;\r
\r
+\r
st = new StringTokenizer(line, "\"");\r
st.nextToken(); //<mapID target="\r
\r
\r
catch(Exception ex)\r
{\r
+\r
ex.printStackTrace();\r
\r
+ System.out.println("\n"+line+"\n");\r
+\r
System.out.println("Usage: move to Help directory. help2Website will read"\r
+"\nhelpTOC.xml and help.jhm producing output helpTOC.html");\r
}\r