1.1 --- a/src/share/classes/com/sun/tools/doclets/formats/html/DeprecatedListWriter.java Wed Oct 17 16:43:26 2012 +0100 1.2 +++ b/src/share/classes/com/sun/tools/doclets/formats/html/DeprecatedListWriter.java Tue Oct 23 13:20:37 2012 -0700 1.3 @@ -95,7 +95,7 @@ 1.4 * @param filename the file to be generated. 1.5 */ 1.6 public DeprecatedListWriter(ConfigurationImpl configuration, 1.7 - String filename) throws IOException { 1.8 + DocPath filename) throws IOException { 1.9 super(configuration, filename); 1.10 this.configuration = configuration; 1.11 NestedClassWriterImpl classW = new NestedClassWriterImpl(this); 1.12 @@ -116,7 +116,7 @@ 1.13 * @param configuration the current configuration of the doclet. 1.14 */ 1.15 public static void generate(ConfigurationImpl configuration) { 1.16 - String filename = "deprecated-list.html"; 1.17 + DocPath filename = DocPaths.DEPRECATED_LIST; 1.18 try { 1.19 DeprecatedListWriter depr = 1.20 new DeprecatedListWriter(configuration, filename); 1.21 @@ -180,7 +180,7 @@ 1.22 private void addIndexLink(DeprecatedAPIListBuilder builder, 1.23 int type, Content contentTree) { 1.24 if (builder.hasDocumentation(type)) { 1.25 - Content li = HtmlTree.LI(getHyperLink("#" + ANCHORS[type], 1.26 + Content li = HtmlTree.LI(getHyperLink(ANCHORS[type], 1.27 getResource(HEADING_KEYS[type]))); 1.28 contentTree.addContent(li); 1.29 }