From f47ed69f63d2eb99f71e90b519d790e371ad516a Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 13 Dec 2005 14:20:48 +0000
Subject: [PATCH] ...

---
 helm/matita/scripts/crontab.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh
index 648a1a709..28e628fc9 100644
--- a/helm/matita/scripts/crontab.sh
+++ b/helm/matita/scripts/crontab.sh
@@ -9,9 +9,9 @@ COMMONPHP=helm/matita/scripts/public_html/common.php
 
 
 OLD=$PWD
-rm -rf $TMPDIRNAME 
-mkdir $TMPDIRNAME
+mkdir -p $TMPDIRNAME
 cd $TMPDIRNAME
+rm -rf helm
 cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
 helm/matita/scripts/profile_cvs.sh 2> LOG
 
-- 
2.39.2