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 { |