public static int optionLength(String option) {
		if (option.equals("-output"))
			return 2;
		else if (option.equals("-classfilter"))
			return 2;
		else if (option.equals("-see"))
			return 2;
		else if (option.equals("-help")) {
			System.err.println("TexDoclet Usage:");
			System.err.println("-output <outfile>     Specifies the output file to write to.  If none");
			System.err.println("                      specified, the default is docs.tex in the current");
			System.err.println("                      directory.");
			System.err.println("-see                  Specifies the text to use for references created from inline tags.");
			System.err.println("                      For german javadocs use \"siehe \" for example.");
			System.err.println("                      The default is \"see \".");
			System.err.println("-See                  Specifies the text to use for references created from block tags.");
			System.err.println("                      For german javadocs use \"Siehe auch\" for example.");
			System.err.println("                      The default is \"See also\".");

			return 1;
		}

		System.out.println("unknown option " + option);
		return Doclet.optionLength(option);
	}