update in static_2 and basic_2 for the article

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

diff --git a/matita/matita/contribs/lambdadelta/refile.sh b/matita/matita/contribs/lambdadelta/refile.sh
new file mode 100644 (file)
index 0000000..ef74a98
--- /dev/null
+++ b/matita/matita/contribs/lambdadelta/refile.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+for SRC in `find ground_2 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
+done
+
+unset SRC