fix

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

diff --git a/helm/matita/scripts/README b/helm/matita/scripts/README
index e1b7d2447b8c58a14bad7145fc39ec40773386dc..d48449056c4262fa978c8777a15024a2e2fbca5d 100644 (file)
--- 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