static void GetTypePaths (MDocToHtmlConverterOptions opts, XmlElement type, out string typename, out string srcfile, out string destfile)
{
srcfile = null;
destfile = null;
string nsname = type.ParentNode.Attributes ["Name"].Value;
string typefilebase = type.GetAttribute("Name");
string sourceDir = type.GetAttribute("SourceDirectory");
typename = type.GetAttribute("DisplayName");
if (typename.Length == 0)
typename = typefilebase;
if (opts.onlytype != null && !(nsname + "." + typename).StartsWith(opts.onlytype))
return;
srcfile = CombinePath (sourceDir, nsname, typefilebase + ".xml");
if (srcfile == null)
return;
destfile = CombinePath (opts.dest, nsname, typefilebase + "." + opts.ext);
}