X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fscripts%2FREADME;h=831fbbd9035868f603ad294127b4bde8d157ac64;hb=909cdbb5ddf942e75558149c9f11819c6c84bc3a;hp=d48449056c4262fa978c8777a15024a2e2fbca5d;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/matita/scripts/README b/matita/scripts/README
index d48449056..831fbbd90 100644
--- 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