X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitaclean.ml;h=1a11f5fa1667de021de59697b991137e93ee4df3;hb=73e63e535940a068e660d3688a3c8ebfa1930561;hp=c7bbdf453a3f8e989a67bacc26a48be1b195a19e;hpb=828cc3e65c2a6387752f68afc716ff96b790c3eb;p=helm.git

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index c7bbdf453..1a11f5fa1 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -26,23 +26,18 @@
 module UM = UriManager;;
 module TA = GrafiteAst;;
 
-let _ =
-  Helm_registry.load_from BuildTimeConf.matita_conf;
-  CicNotation.load_notation BuildTimeConf.core_notation_script;
-  Http_getter.init ();
-  MetadataTypes.ownerize_tables (Helm_registry.get "matita.owner");
-  MatitaDb.create_owner_environment ()
+let _ = MatitaInit.initialize_all ()
 
 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 _ =