MatitacleanLib.remove_baseuris will remove empty directories.

[helm.git] / helm / matita / matitaMisc.mli

diff --git a/helm/matita/matitaMisc.mli b/helm/matita/matitaMisc.mli
index bf51c64e9c8d0d795f3ace322c57d6e19ac7aa35..0c2063095d7dc9ab29a7fb0d360081cc1955c0e7 100644 (file)
--- a/helm/matita/matitaMisc.mli
+++ b/helm/matita/matitaMisc.mli
@@ -33,6 +33,12 @@ val is_empty: string -> bool
 
 (** removes a file if it exists *)
 val safe_remove: string -> unit
+(** removes a dir if it exists and is empty *)
+val safe_rmdir: string -> unit 
+(** checks if the dir is empty *)
+val is_dir_empty: string -> bool
+(** removes a directory and recursively the father (if empty) *)
+val rmdir_descend: string -> unit
 
 val absolute_path: string -> string