| [] -> uris
| l -> let uris, next = close_uri_list l in fix uris next @ uris
-let clean_baseuris buris =
+let clean_baseuris ?(verbose=true) buris =
let buris = List.map HGM.strip_trailing_slash buris in
(* List.iter prerr_endline buris; *)
let l = fix [] buris in
let l = MatitaMisc.list_uniq (List.fast_sort Pervasives.compare l) in
let l = List.map UriManager.uri_of_string l in
(* List.iter (fun u -> prerr_endline (UriManager.string_of_uri u)) l; *)
- List.iter MatitaSync.remove l
+ List.iter (MatitaSync.remove ~verbose) l
let is_empty buri = HG.ls (HGM.strip_trailing_slash buri ^ "/") = []