src/share/classes/com/sun/tools/doclets/formats/html/HtmlDoclet.java

changeset 2225
b8ebde062692
parent 2071
2c24a04ebfb4
child 2525
2eb010b6cb22
child 3315
6f0746b6de9f
equal deleted inserted replaced
2224:f1be939b49f6 2225:b8ebde062692
113 return; 113 return;
114 } 114 }
115 boolean nodeprecated = configuration.nodeprecated; 115 boolean nodeprecated = configuration.nodeprecated;
116 performCopy(configuration.helpfile); 116 performCopy(configuration.helpfile);
117 performCopy(configuration.stylesheetfile); 117 performCopy(configuration.stylesheetfile);
118 copyResourceFile("background.gif");
119 copyResourceFile("tab.gif");
120 copyResourceFile("titlebar.gif");
121 copyResourceFile("titlebar_end.gif");
122 copyResourceFile("activetitlebar.gif");
123 copyResourceFile("activetitlebar_end.gif");
124 // do early to reduce memory footprint 118 // do early to reduce memory footprint
125 if (configuration.classuse) { 119 if (configuration.classuse) {
126 ClassUseWriter.generate(configuration, classtree); 120 ClassUseWriter.generate(configuration, classtree);
127 } 121 }
128 IndexBuilder indexbuilder = new IndexBuilder(configuration, nodeprecated); 122 IndexBuilder indexbuilder = new IndexBuilder(configuration, nodeprecated);
312 DocErrorReporter reporter) { 306 DocErrorReporter reporter) {
313 docletToStart = new HtmlDoclet(); 307 docletToStart = new HtmlDoclet();
314 return docletToStart.configuration.validOptions(options, reporter); 308 return docletToStart.configuration.validOptions(options, reporter);
315 } 309 }
316 310
317 /**
318 * Copy a file in the resources directory to the destination directory.
319 * @param resource The name of the resource file to copy
320 */
321 private void copyResourceFile(String resource) {
322 DocPath p = DocPaths.RESOURCES.resolve(resource);
323 DocFile f = DocFile.createFileForOutput(configuration, p);
324 f.copyResource(p, false, false);
325 }
326
327 private void performCopy(String filename) { 311 private void performCopy(String filename) {
328 if (filename.isEmpty()) 312 if (filename.isEmpty())
329 return; 313 return;
330 314
331 try { 315 try {

mercurial