- main !uris_to_remove;
- let moos = List.map MatitaMisc.obj_file_of_script !files_to_remove in
- List.iter MatitaMisc.safe_remove moos
+ LibraryClean.clean_baseuris ~basedir !uris_to_remove;
+ let moos =
+ List.map (MatitaMisc.obj_file_of_script ~basedir) !files_to_remove
+ in
+ List.iter HExtlib.safe_remove moos