commit 6e6cb717974a968e4cd47dafb4d475a9fcb73474
author Thomas Broyer <t.broyer@gmail.com> Sat Jan 14 20:17:14 2017 +0100
committer Thomas Broyer <t.broyer@gmail.com> Fri Feb 10 15:18:03 2017 +0000
tree 46bc9fdce828ccb632a29ac37c7df5b109bab5a0
parent eb2c8b68254726033c1be9859f52b7f6d8193b62

Update emul-ezt's output for the new website

Changes headings from H1 to H2.

Also updates the JDK javadoc links to Java 8.

Change-Id: I46d26d80931b5b23ef3a716f774e10a8b274ba6a

build_tools/doctool/src/com/google/doctool/custom/EztDoclet.java

diff --git a/build_tools/doctool/src/com/google/doctool/custom/EztDoclet.java b/build_tools/doctool/src/com/google/doctool/custom/EztDoclet.java
index 2fa575a..37853a9 100644
--- a/build_tools/doctool/src/com/google/doctool/custom/EztDoclet.java
+++ b/build_tools/doctool/src/com/google/doctool/custom/EztDoclet.java
@@ -43,7 +43,7 @@
 
   private static EztDoclet EZT_DOCLET;
 
-  private static final String JAVADOC_URL = "http://java.sun.com/javase/6/docs/api/";
+  private static final String JAVADOC_URL = "https://docs.oracle.com/javase/8/docs/api/";
 
   public static int optionLength(String option) {
     if (option.equals(OPT_EZTFILE)) {
@@ -128,7 +128,7 @@
       pw.println("</ol>\n");
 
       for (PackageDoc pack : root.specifiedPackages()) {
-        pw.format("<h1 id=\"Package_%s\">Package %s</h1>\n",
+        pw.format("<h2 id=\"Package_%s\">Package %s</h2>\n",
             pack.name().replace('.', '_'), pack.name());
         pw.println("<dl>");