- public static void main(String [] args)
- {
- String line = "";
- 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("<html><head><title>Jalview - Help </title></head>\n"
- +"<body bgcolor=#F1F1F1>\n"
- +"<p><center><strong>Contents</strong></center></p>\n");
-
-
- StringTokenizer st;
- StringBuffer indent = new StringBuffer();
- String target, url, text;
- while( (line = in.readLine()) != null)
- {
- if(line.indexOf("target")==-1)
- continue;