linkonly now also links matitac

[helm.git] / helm / software / matita / scripts / crontab.sh

diff --git a/helm/software/matita/scripts/crontab.sh b/helm/software/matita/scripts/crontab.sh
index 51e090d98dfedc3a2823d0cedcada5c23d05e5c3..f59bcdb97220392a36f07a437d80a84243626c59 100644 (file)
--- a/helm/software/matita/scripts/crontab.sh
+++ b/helm/software/matita/scripts/crontab.sh
@@ -1,5 +1,5 @@
 #!/bin/bash
-set -x
+#set -x
 
 #configuration
 TODAY=`date +%Y%m%d`