From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 13 Dec 2005 14:20:48 +0000 (+0000)
Subject: ...
X-Git-Tag: make_still_working~8005
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f47ed69f63d2eb99f71e90b519d790e371ad516a;p=helm.git

...
---

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