langtools/src/jdk.javadoc/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java
changeset 26665 e813baa25bf2
parent 25874 83c19f00452c
child 26900 dccc7a72526d
equal deleted inserted replaced
26664:4e8e04f40479 26665:e813baa25bf2
   395             Content body) throws IOException {
   395             Content body) throws IOException {
   396         Content htmlDocType = DocType.TRANSITIONAL;
   396         Content htmlDocType = DocType.TRANSITIONAL;
   397         Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
   397         Content htmlComment = new Comment(configuration.getText("doclet.New_Page"));
   398         Content head = new HtmlTree(HtmlTag.HEAD);
   398         Content head = new HtmlTree(HtmlTag.HEAD);
   399         head.addContent(getGeneratedBy(!configuration.notimestamp));
   399         head.addContent(getGeneratedBy(!configuration.notimestamp));
   400         if (configuration.charset.length() > 0) {
       
   401             Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE,
       
   402                     configuration.charset);
       
   403             head.addContent(meta);
       
   404         }
       
   405         head.addContent(getTitle());
   400         head.addContent(getTitle());
       
   401         Content meta = HtmlTree.META("Content-Type", CONTENT_TYPE,
       
   402                 (configuration.charset.length() > 0) ?
       
   403                         configuration.charset : HtmlConstants.HTML_DEFAULT_CHARSET);
       
   404         head.addContent(meta);
   406         if (!configuration.notimestamp) {
   405         if (!configuration.notimestamp) {
   407             SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd");
   406             SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy-MM-dd");
   408             Content meta = HtmlTree.META("date", dateFormat.format(new Date()));
   407             meta = HtmlTree.META("date", dateFormat.format(new Date()));
   409             head.addContent(meta);
   408             head.addContent(meta);
   410         }
   409         }
   411         if (metakeywords != null) {
   410         if (metakeywords != null) {
   412             for (String metakeyword : metakeywords) {
   411             for (String metakeyword : metakeywords) {
   413                 Content meta = HtmlTree.META("keywords", metakeyword);
   412                 meta = HtmlTree.META("keywords", metakeyword);
   414                 head.addContent(meta);
   413                 head.addContent(meta);
   415             }
   414             }
   416         }
   415         }
   417         head.addContent(getStyleSheetProperties());
   416         head.addContent(getStyleSheetProperties());
   418         head.addContent(getScriptProperties());
   417         head.addContent(getScriptProperties());