private static void ShowHelp(OptionSet os) { Console.WriteLine ("manos usage is: manos [command] [options]"); Console.WriteLine (); os.WriteOptionDescriptions (Console.Out); }