X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambdadelta%2Frefile.sh;h=afd76f7a4f7340ab208c1d9ff0b19a654b10fa3d;hb=b118146b97959e6a6dde18fdd014b8e1e676a2d1;hp=ef74a981847b4bf18d6b9f6e459d4ec34a82c21a;hpb=f677b4ef7fa20f1ab36c5ee59598865d5c1b719b;p=helm.git

diff --git a/matita/matita/contribs/lambdadelta/refile.sh b/matita/matita/contribs/lambdadelta/refile.sh
index ef74a9818..afd76f7a4 100644
--- a/matita/matita/contribs/lambdadelta/refile.sh
+++ b/matita/matita/contribs/lambdadelta/refile.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
-for SRC in `find ground_2 static_2 basic_2 apps_2 -name "*.ma"`; do
+for SRC in `find ground static_2 basic_2 apps_2 -name "*.ma"`; do
   if [ ! -e ${SRC//$1/$2} ];
     then echo ${SRC//$1/$2}; git mv $SRC ${SRC//$1/$2};
   fi