155 |
parameters.put("gjdoc.option.windowtitle", options.windowtitle); |
parameters.put("gjdoc.option.windowtitle", options.windowtitle); |
156 |
parameters.put("gjdoc.option.helpfile", options.helpfile); |
parameters.put("gjdoc.option.helpfile", options.helpfile); |
157 |
parameters.put("gjdoc.option.stylesheetfile", options.stylesheetfile); |
parameters.put("gjdoc.option.stylesheetfile", options.stylesheetfile); |
158 |
|
parameters.put("gjdoc.option.header", options.header); |
159 |
|
parameters.put("gjdoc.option.footer", options.footer); |
160 |
|
parameters.put("gjdoc.option.bottom", options.bottom); |
161 |
|
|
162 |
List outputFileList = getOutputFileList(mainResourceURL, |
List outputFileList = getOutputFileList(mainResourceURL, |
163 |
xmlSourceDirectory, |
xmlSourceDirectory, |