974 |
else if ("-helpfile".equals(optionTag)) { |
else if ("-helpfile".equals(optionTag)) { |
975 |
docTransletOptions.helpfile = new File(option[1]).toURL().toString(); |
docTransletOptions.helpfile = new File(option[1]).toURL().toString(); |
976 |
} |
} |
977 |
else if ("-stylesheet".equals(optionTag)) { |
else if ("-stylesheetfile".equals(optionTag)) { |
978 |
docTransletOptions.stylesheet = new File(option[1]).toURL().toString(); |
docTransletOptions.stylesheetfile = new File(option[1]).toURL().toString(); |
979 |
} |
} |
980 |
} |
} |
981 |
|
|