fix

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
new file mode 100644 (file)
index 0000000..e1b7d24
--- /dev/null
+++ b/helm/matita/scripts/README
@@ -0,0 +1,20 @@
+bench.sql  
+  the SQL code to generate the bench table
+  
+crontab  
+  install this crontab (may need tweaking) to have cron run the whole
+  stuff for you
+  
+crontab.sh  
+  the script crontab should run (includes a "pretty" report)
+
+do_tests.sh  
+  script used by ../Makefile to run matitac[.opt] on some tests. supports some
+  options and prints out some informations neded my insert
+
+insert.awk  
+  creates the SQL INSERT statements for the output of profile_cvs.sh
+
+profile_cvs.sh
+  CVS co, compilation, run
+

diff --git a/helm/matita/scripts/crontab b/helm/matita/scripts/crontab
index 2a39f12b60d23a9833fa033d4bf243edca12c467..4221e65e9e908d58f6b5eba72a184535ee4ce61e 100644 (file)
--- a/helm/matita/scripts/crontab
+++ b/helm/matita/scripts/crontab
@@ -1,3 +1,2 @@
-#MAILTO=helm@cs.unibo.it
-MAILTO=tassi@cs.unibo.it
+MAILTO=helm@cs.unibo.it
 10 5 * * * sh /home/tassi/helm/matita/scripts/crontab.sh