JAL-4023 use %g for distances (scientific notation for very small or large values)
[jalview.git] / utils / help2Website.java
index d23e35a..83e4b5f 100755 (executable)
-import java.io.*;\r
-import java.util.*;\r
-\r
-public class help2Website\r
-{\r
-\r
-       public static void main(String [] args)\r
-       {\r
-               String line = "";\r
-               try{\r
-                       Hashtable targets = new Hashtable();\r
-\r
-                       File toc = new File("helpTOC.xml");\r
-                       File jhm = new File("help.jhm");\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
-                       +"<body bgcolor=#F1F1F1>\n"\r
-                       +"<p><center><strong>Contents</strong></center></p>\n");\r
-\r
-\r
-                       StringTokenizer st;\r
-                       StringBuffer indent = new StringBuffer();\r
-                       String target, url, text;\r
-                       while( (line = in.readLine()) != null)\r
-                       {\r
-                               if(line.indexOf("target")==-1)\r
-                                       continue;\r
-\r
-\r
-                               st = new StringTokenizer(line, "\"");\r
-                               st.nextToken(); //<mapID target="\r
-\r
-                               target = st.nextToken();\r
-                               st.nextToken(); //" url="\r
-\r
-                               url = st.nextToken();\r
-                               targets.put(target, url);\r
-                       }\r
-\r
-                       in = new BufferedReader(new FileReader(toc));\r
-                       while( (line = in.readLine()) != null)\r
-                       {\r
-                               if(line.indexOf("</tocitem>")!=-1)\r
-                                       indent.setLength(indent.length()-18);\r
-\r
-                               if(line.indexOf("<tocitem")==-1)\r
-                                       continue;\r
-\r
-                               st = new StringTokenizer(line, "\"");\r
-                               st.nextToken();\r
-\r
-                               text = st.nextToken();\r
-                               st.nextToken();\r
-\r
-                               target = st.nextToken();\r
-\r
-                               if(targets.get(target)!=null)\r
-                                       out.println("<br>"+indent+"<a href=\""\r
-                                                       + targets.get(target)\r
-                                                       +"\" target=bodyframe>"\r
-                                                       +text\r
-                                                       +"</a>");\r
-                               else\r
-                                       out.println("<br>"+indent+text);\r
-\r
-\r
-                               if(line.indexOf("/>")==-1)\r
-                                       indent.append("&nbsp;&nbsp;&nbsp;");\r
-\r
-                       }\r
-\r
-                       out.println("</body>\n</html>");\r
-\r
-\r
-                       out.close();\r
-\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
-       }\r
-\r
-\r
-}
\ No newline at end of file
+/*
+ * Jalview - A Sequence Alignment Editor and Viewer ($$Version-Rel$$)
+ * Copyright (C) $$Year-Rel$$ The Jalview Authors
+ * 
+ * This file is part of Jalview.
+ * 
+ * Jalview is free software: you can redistribute it and/or
+ * modify it under the terms of the GNU General Public License 
+ * as published by the Free Software Foundation, either version 3
+ * of the License, or (at your option) any later version.
+ *  
+ * Jalview is distributed in the hope that it will be useful, but 
+ * WITHOUT ANY WARRANTY; without even the implied warranty 
+ * of MERCHANTABILITY or FITNESS FOR A PARTICULAR 
+ * PURPOSE.  See the GNU General Public License for more details.
+ * 
+ * You should have received a copy of the GNU General Public License
+ * along with Jalview.  If not, see <http://www.gnu.org/licenses/>.
+ * The Jalview Authors are detailed in the 'AUTHORS' file.
+ */
+import java.io.*;
+import java.util.*;
+
+public class help2Website
+{
+
+  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;
+
+        st = new StringTokenizer(line, "\"");
+        st.nextToken(); // <mapID target="
+
+        target = st.nextToken();
+        st.nextToken(); // " url="
+
+        url = st.nextToken();
+        targets.put(target, url);
+      }
+
+      in = new BufferedReader(new FileReader(toc));
+      while ((line = in.readLine()) != null)
+      {
+        if (line.indexOf("</tocitem>") != -1)
+          indent.setLength(indent.length() - 18);
+
+        if (line.indexOf("<tocitem") == -1)
+          continue;
+
+        st = new StringTokenizer(line, "\"");
+        st.nextToken();
+
+        text = st.nextToken();
+        st.nextToken();
+
+        target = st.nextToken();
+
+        if (targets.get(target) != null)
+        {
+          out.println("<br>" + indent + "<a href=\"" + targets.get(target)
+                  + "\" target=bodyframe>" + text + "</a>");
+        }
+        else
+          out.println("<br>" + indent + text);
+
+        if (line.indexOf("/>") == -1)
+          indent.append("&nbsp;&nbsp;&nbsp;");
+
+      }
+      // Add Googletracker.
+
+      out.close();
+
+    }
+
+    catch (Exception ex)
+    {
+
+      ex.printStackTrace();
+
+      System.out.println("\n" + line + "\n");
+
+      System.out
+              .println("Usage: move to Help directory. help2Website will read"
+                      + "\nhelpTOC.xml and help.jhm producing output helpTOC.html");
+    }
+  }
+
+}