From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 24 Dec 2005 13:36:51 +0000 (+0000)
Subject: fix
X-Git-Tag: make_still_working~7914
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a243404af9fa7d01cf8693f64035299150f0f5ce;p=helm.git

fix
---

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
index e1b7d2447..d48449056 100644
--- a/helm/matita/scripts/README
+++ b/helm/matita/scripts/README
@@ -15,6 +15,6 @@ do_tests.sh
 insert.awk  
   creates the SQL INSERT statements for the output of profile_cvs.sh
 
-profile_cvs.sh
-  CVS co, compilation, run
+profile_svn.sh
+  SVN co, compilation, run