now tables are recreated if needed and mattiaclean all really clears the owner env...

[helm.git] / helm / matita / matitaclean.ml

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index f14c5e80ea8b4aae3c8f6aabc25f769887870d53..1ee09d96835f0a940932cf69834277eae93d4d58 100644 (file)
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -12,7 +12,9 @@ let usage () =
   prerr_endline "";
   prerr_endline "usage:";
   prerr_endline "\tmatitaclean all";
-  prerr_endline "\tmatitaclean (uri|file)+";
+  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 "";
   exit 1
     
@@ -20,7 +22,7 @@ let _ =
   if Array.length Sys.argv < 2 then usage ();
   if Sys.argv.(1) = "all" then 
     begin
-      MatitaDb.reset_owner_environment ();
+      MatitaDb.clean_owner_environment ();
       exit 0
     end
   let uri_to_remove =ref [] in