MAILTO=helm@cs.unibo.it HOME=/home/tassi/ 10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh