From 2ace962feb680119ddfcf2e7d62ed444b101fea7 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 17 Nov 2006 18:39:43 +0000
Subject: [PATCH] Fixed the infamous bug: >
 >/home/sacerdot/miohelm/matita/scripts/crontab.sh: line 70: [: : integer >
 >expression expected

---
 matita/scripts/crontab.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/matita/scripts/crontab.sh b/matita/scripts/crontab.sh
index f59bcdb97..f2a0283c0 100644
--- a/matita/scripts/crontab.sh
+++ b/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
-- 
2.39.2