X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fscripts%2FREADME;h=831fbbd9035868f603ad294127b4bde8d157ac64;hb=4dea55fd690fb427c729227a6f762a65d9dcdb58;hp=d48449056c4262fa978c8777a15024a2e2fbca5d;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

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