1.1 --- a/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java Mon Nov 19 11:38:49 2012 -0800 1.2 +++ b/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java Mon Nov 19 16:10:34 2012 -0800 1.3 @@ -327,6 +327,7 @@ 1.4 } 1.5 } 1.6 head.addContent(getStyleSheetProperties()); 1.7 + head.addContent(getScriptProperties()); 1.8 Content htmlTree = HtmlTree.HTML(configuration.getLocale().getLanguage(), 1.9 head, body); 1.10 Content htmlDocument = new HtmlDocument(htmlDocType, 1.11 @@ -1688,6 +1689,17 @@ 1.12 } 1.13 1.14 /** 1.15 + * Returns a link to the JavaScript file. 1.16 + * 1.17 + * @return an HtmlTree for the Script tag which provides the JavaScript location 1.18 + */ 1.19 + public HtmlTree getScriptProperties() { 1.20 + HtmlTree script = HtmlTree.SCRIPT("text/javascript", 1.21 + pathToRoot.resolve(DocPaths.JAVASCRIPT).getPath()); 1.22 + return script; 1.23 + } 1.24 + 1.25 + /** 1.26 * According to 1.27 * <cite>The Java™ Language Specification</cite>, 1.28 * all the outer classes and static nested classes are core classes.