changelog to -rc-1

[helm.git] / matita / scripts / README

diff --git a/matita/scripts/README b/matita/scripts/README
index d48449056c4262fa978c8777a15024a2e2fbca5d..831fbbd9035868f603ad294127b4bde8d157ac64 100644 (file)
--- a/matita/scripts/README
+++ b/matita/scripts/README
@@ -12,9 +12,6 @@ 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