Lines Matching defs:helpfile
67 * use "-helpfile" option when already "-nohelp" option is used.
124 * Argument for command line option "-helpfile".
126 public String helpfile = "";
292 // check if helpfile exists
293 if (!helpfile.isEmpty()) {
294 DocFile help = DocFile.createFileForInput(this, helpfile);
296 reporter.print(ERROR, getText("doclet.File_not_found", helpfile));
575 new Option(resources, "-helpfile", 1) {
580 "-helpfile", "-nohelp"));
583 if (!helpfile.isEmpty()) {
585 "-helpfile"));
588 helpfile = args.get(0);
610 if (!helpfile.isEmpty()) {
612 "-nohelp", "-helpfile"));