public Documentation (string xml_output_filename) { docfilename = xml_output_filename; XmlDocumentation = new XmlDocument (); XmlDocumentation.PreserveWhitespace = false; }