142 } |
142 } |
143 if (configuration.helpfile.length() == 0 && |
143 if (configuration.helpfile.length() == 0 && |
144 !configuration.nohelp) { |
144 !configuration.nohelp) { |
145 HelpWriter.generate(configuration); |
145 HelpWriter.generate(configuration); |
146 } |
146 } |
|
147 // If a stylesheet file is not specified, copy the default stylesheet. |
147 if (configuration.stylesheetfile.length() == 0) { |
148 if (configuration.stylesheetfile.length() == 0) { |
148 StylesheetWriter.generate(configuration); |
149 Util.copyFile(configuration, "stylesheet.css", Util.RESOURCESDIR, |
|
150 (configdestdir.isEmpty()) ? |
|
151 System.getProperty("user.dir") : configdestdir, false); |
149 } |
152 } |
150 } |
153 } |
151 |
154 |
152 /** |
155 /** |
153 * {@inheritDoc} |
156 * {@inheritDoc} |