enm = script.listOptions();
while (enm.hasMoreElements()) {
option = (Option) enm.nextElement();
result.append(option.synopsis() + '\n');
result.append(option.description() + "\n");
}
result.append("\n");
result.append("Any additional options are passed on to the script as\n");
result.append("command-line parameters.\n");