["-dot", Arg.Set_string dot_file,
"<file> Save dependency graph in dot format to the given file"];
MatitaInit.parse_cmdline_and_configuration_file ();
["-dot", Arg.Set_string dot_file,
"<file> Save dependency graph in dot format to the given file"];
MatitaInit.parse_cmdline_and_configuration_file ();