protected override bool GetExtraOptions(string file, out string[] compiler_options,
out string[] dependencies) {
if (!base.GetExtraOptions (file, out compiler_options, out dependencies))
return false;
doc_output = null;
if (compiler_options == null)
return true;
foreach (string one_opt in compiler_options) {
if (one_opt.StartsWith ("-doc:")) {
doc_output = one_opt.Split (':', '/')[1];
}
}
return true;
}