< prev index next >

src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/IndexRedirectWriter.java

Print this page

        

*** 73,94 **** * @throws DocFileIOException if there is a problem generating the file */ private void generateIndexFile() throws DocFileIOException { Content htmlComment = contents.newPage; Head head = new Head(path, configuration.docletVersion, configuration.startTime) ! .setTimestamp(!configuration.notimestamp) .setDescription("index redirect") .setGenerator(getGenerator(getClass())) .setStylesheets(configuration.getMainStylesheet(), Collections.emptyList()) // avoid reference to default stylesheet .addDefaultScript(false); ! String title = (configuration.windowtitle.length() > 0) ! ? configuration.windowtitle : resources.getText("doclet.Generated_Docs_Untitled"); head.setTitle(title) ! .setCharset(configuration.charset) .setCanonicalLink(target); String targetPath = target.getPath(); Script script = new Script("window.location.replace(") .appendStringLiteral(targetPath, '\'') --- 73,94 ---- * @throws DocFileIOException if there is a problem generating the file */ private void generateIndexFile() throws DocFileIOException { Content htmlComment = contents.newPage; Head head = new Head(path, configuration.docletVersion, configuration.startTime) ! .setTimestamp(!options.noTimestamp) .setDescription("index redirect") .setGenerator(getGenerator(getClass())) .setStylesheets(configuration.getMainStylesheet(), Collections.emptyList()) // avoid reference to default stylesheet .addDefaultScript(false); ! String title = (options.windowTitle.length() > 0) ! ? options.windowTitle : resources.getText("doclet.Generated_Docs_Untitled"); head.setTitle(title) ! .setCharset(options.charset) .setCanonicalLink(target); String targetPath = target.getPath(); Script script = new Script("window.location.replace(") .appendStringLiteral(targetPath, '\'')
< prev index next >