X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2Fcrontab.sh;h=f2a0283c084ce845e170c460eeb5c54e66805fa7;hb=8cb8fcda1725576ee90f6b3538bd00ebc61d7ca8;hp=f59bcdb97220392a36f07a437d80a84243626c59;hpb=f6f34ee631ff2e5aeb8d1a3b78b72f4034c69748;p=helm.git

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index f59bcdb97..f2a0283c0 100644
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -65,7 +65,7 @@ fi
 if [ "$DELTA" -lt 0 ]; then
   PERC=0
 else
-  PREC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
+  PERC=`lua5.1 scripts/functions.lua proportion $DELTA x $OLD_TIME 100`
 fi
 if [ "$PERC" -ge 5 ]; then
   cat <<EOT