108 String configdestdir = configuration.destDirName; |
108 String configdestdir = configuration.destDirName; |
109 String confighelpfile = configuration.helpfile; |
109 String confighelpfile = configuration.helpfile; |
110 String configstylefile = configuration.stylesheetfile; |
110 String configstylefile = configuration.stylesheetfile; |
111 performCopy(configdestdir, confighelpfile); |
111 performCopy(configdestdir, confighelpfile); |
112 performCopy(configdestdir, configstylefile); |
112 performCopy(configdestdir, configstylefile); |
113 Util.copyResourceFile(configuration, "inherit.gif", false); |
113 Util.copyResourceFile(configuration, "background.gif", false); |
|
114 Util.copyResourceFile(configuration, "tab.gif", false); |
|
115 Util.copyResourceFile(configuration, "titlebar.gif", false); |
|
116 Util.copyResourceFile(configuration, "titlebar_end.gif", false); |
114 // do early to reduce memory footprint |
117 // do early to reduce memory footprint |
115 if (configuration.classuse) { |
118 if (configuration.classuse) { |
116 ClassUseWriter.generate(configuration, classtree); |
119 ClassUseWriter.generate(configuration, classtree); |
117 } |
120 } |
118 IndexBuilder indexbuilder = new IndexBuilder(configuration, nodeprecated); |
121 IndexBuilder indexbuilder = new IndexBuilder(configuration, nodeprecated); |