get_doclet_path


Description:

public static string get_doclet_path (string? docletpath, ErrorReporter reporter)