309 Content frameset) throws IOException { |
309 Content frameset) throws IOException { |
310 Content htmlDocType = DocType.FRAMESET; |
310 Content htmlDocType = DocType.FRAMESET; |
311 Content htmlComment = new Comment(configuration.getText("doclet.New_Page")); |
311 Content htmlComment = new Comment(configuration.getText("doclet.New_Page")); |
312 Content head = new HtmlTree(HtmlTag.HEAD); |
312 Content head = new HtmlTree(HtmlTag.HEAD); |
313 head.addContent(getGeneratedBy(!noTimeStamp)); |
313 head.addContent(getGeneratedBy(!noTimeStamp)); |
314 if (configuration.charset.length() > 0) { |
|
315 Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE, |
|
316 configuration.charset); |
|
317 head.addContent(meta); |
|
318 } |
|
319 Content windowTitle = HtmlTree.TITLE(new StringContent(title)); |
314 Content windowTitle = HtmlTree.TITLE(new StringContent(title)); |
320 head.addContent(windowTitle); |
315 head.addContent(windowTitle); |
|
316 Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE, |
|
317 (configuration.charset.length() > 0) ? |
|
318 configuration.charset : HtmlConstants.HTML_DEFAULT_CHARSET); |
|
319 head.addContent(meta); |
321 head.addContent(getFramesetJavaScript()); |
320 head.addContent(getFramesetJavaScript()); |
322 Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), |
321 Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), |
323 head, frameset); |
322 head, frameset); |
324 Content htmlDocument = new HtmlDocument(htmlDocType, |
323 Content htmlDocument = new HtmlDocument(htmlDocType, |
325 htmlComment, htmlTree); |
324 htmlComment, htmlTree); |