X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatitaclean.ml;h=a3183c16110fdeb03e273b3f55caac0baa1f08f9;hb=88a68a9c334646bc17314d5327cd3b790202acd6;hp=ffc253d69c1c9ab2eb37e1fd775b58bf9e383732;hpb=a2257181cddf84a3b831c50398f5b13e2b79ac3a;p=helm.git

diff --git a/helm/software/matita/matitaclean.ml b/helm/software/matita/matitaclean.ml
index ffc253d69..a3183c161 100644
--- a/helm/software/matita/matitaclean.ml
+++ b/helm/software/matita/matitaclean.ml
@@ -80,7 +80,8 @@ let clean_all () =
       ignore 
        (Sys.command ("find " ^ xmldir ^ 
         " -type d -exec rmdir -p {} \\; 2> /dev/null"))) 
-    prefixes
+    prefixes;
+  ignore (Sys.command ("rm -rf " ^ Helm_registry.get "matita.basedir"))
 ;;
 
 let main () =