From f9aefdd51cf9cdd6997e7350dfaa8a524c09a8c3 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 2 Nov 2005 10:12:13 +0000 Subject: [PATCH] fix --- helm/matita/scripts/crontab.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/scripts/crontab.sh b/helm/matita/scripts/crontab.sh index 84dc6a9ab..8360f1f0b 100644 --- a/helm/matita/scripts/crontab.sh +++ b/helm/matita/scripts/crontab.sh @@ -1,6 +1,6 @@ #!/bin/bash TODAY=`date +%Y%m%d0200` -YESTERDAY=`date -d yesterday +%Y%m%d0200` +YESTERDAY=`date -d yesterday +%Y%m%d0417` TMPDIRNAME=.__${TODAY}_crontab CVSROOT=":ext:$USER@marcello.cs.unibo.it:/home/faculty/PROJECTS/cvs/helm" SHELLTIME2CENTSPHP=helm/matita/scripts/shell_time2cents.php -- 2.39.2