src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/IndexRedirectWriter.java
equal
deleted
inserted
replaced
22 * or visit www.oracle.com if you need additional information or have any |
22 * or visit www.oracle.com if you need additional information or have any |
23 * questions. |
23 * questions. |
24 */ |
24 */ |
25 |
25 |
26 package jdk.javadoc.internal.doclets.formats.html; |
26 package jdk.javadoc.internal.doclets.formats.html; |
|
27 |
|
28 import java.util.Collections; |
27 |
29 |
28 import jdk.javadoc.internal.doclets.formats.html.markup.Head; |
30 import jdk.javadoc.internal.doclets.formats.html.markup.Head; |
29 import jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder; |
31 import jdk.javadoc.internal.doclets.formats.html.markup.ContentBuilder; |
30 import jdk.javadoc.internal.doclets.formats.html.markup.DocType; |
32 import jdk.javadoc.internal.doclets.formats.html.markup.DocType; |
31 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlAttr; |
33 import jdk.javadoc.internal.doclets.formats.html.markup.HtmlAttr; |
76 private void generateIndexFile() throws DocFileIOException { |
78 private void generateIndexFile() throws DocFileIOException { |
77 DocType htmlDocType = DocType.forVersion(configuration.htmlVersion); |
79 DocType htmlDocType = DocType.forVersion(configuration.htmlVersion); |
78 Content htmlComment = contents.newPage; |
80 Content htmlComment = contents.newPage; |
79 Head head = new Head(path, configuration.htmlVersion, configuration.docletVersion) |
81 Head head = new Head(path, configuration.htmlVersion, configuration.docletVersion) |
80 .setTimestamp(true) |
82 .setTimestamp(true) |
|
83 .setStylesheets(configuration.getMainStylesheet(), Collections.emptyList()) // avoid reference to default stylesheet |
81 .addDefaultScript(false); |
84 .addDefaultScript(false); |
82 |
85 |
83 String title = (configuration.windowtitle.length() > 0) |
86 String title = (configuration.windowtitle.length() > 0) |
84 ? configuration.windowtitle |
87 ? configuration.windowtitle |
85 : resources.getText("doclet.Generated_Docs_Untitled"); |
88 : resources.getText("doclet.Generated_Docs_Untitled"); |