update in static_2

[helm.git] / matita / matita / contribs / lambdadelta / refile.sh

diff --git a/matita/matita/contribs/lambdadelta/refile.sh b/matita/matita/contribs/lambdadelta/refile.sh
index ef74a981847b4bf18d6b9f6e459d4ec34a82c21a..afd76f7a4f7340ab208c1d9ff0b19a654b10fa3d 100644 (file)
--- 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