From e34ae2f76136c6c381826b81407e9cacebb7cfd4 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 19 Jun 2009 15:49:45 +0000
Subject: [PATCH] "matitaclean all" ported to NG

---
 helm/software/matita/matitaclean.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 () =
-- 
2.39.2