- renamed ocaml/ to components/

[helm.git] / helm / matita / scripts / README

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
deleted file mode 100644 (file)
index d484490..0000000
--- a/helm/matita/scripts/README
+++ /dev/null
@@ -1,20 +0,0 @@
-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_svn.sh
-  SVN co, compilation, run
-