let main uri_to_remove = MatitacleanLib.clean_baseuris uri_to_remove
let usage () =
- prerr_endline "";
- prerr_endline "usage:";
- prerr_endline "\tmatitaclean all";
- prerr_endline "\t\tcleans the whole environment";
- prerr_endline "\tmatitaclean files...";
- prerr_endline "\t\tcleans the output of the compilation of files...\n";
- prerr_endline "";
+ prerr_endline "
+usage:
+\tmatitaclean all
+\t\tcleans the whole environment
+\tmatitaclean files...
+\t\tcleans the output of the compilation of files...
+";
exit 1
let _ =