+MARK=`date +%Y%m%d`
+TMPDIRNAME=.__${MARK}_crontab
+CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm"
+
+OLD=$PWD
+rm -rf $TMPDIRNAME
+mkdir $TMPDIRNAME
+cd $TMPDIRNAME
+cvs -d $CVSROOT co helm/matita/scripts 1>/dev/null 2>/dev/null
+bash helm/matita/scripts/profile_cvs.sh > LOG
+
+cat <<EOT
+WEB INTERFACE
+http://mowgli.cs.unibo.it/tassi/index.php
+
+DAILY BENCHMARK REPORT
+`echo "select mark, SEC_TO_TIME(SUM(TIME_TO_SEC(time))) from becnh where mark = \"$MARK\" group by mark;" | mysql -u helm -h mowgli.cs.unibo.it matita`
+
+
+DAILY BENCHMARK REPORT (DETAILED)
+`echo "select * from becnh where mark = \"$MARK\";" | mysql -u helm -h mowgli.cs.unibo.it matita`
+
+COMPILATION OUTPUT
+`cat LOG`
+
+EOT
+cd $OLD
+rm -rf $TMPDIRNAME
+