X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fcontribs%2Flambda-delta%2Freplace.sh;fp=matita%2Fmatita%2Fcontribs%2Flambda-delta%2Freplace.sh;h=0000000000000000000000000000000000000000;hb=0dc8115859d7f482793315493adc0b619236e06c;hp=6caaacdb8c253bec2f43c104908f7a506a8bf6a1;hpb=55dc00c1c44cc21c7ae179cb9df03e7446002c46;p=helm.git

diff --git a/matita/matita/contribs/lambda-delta/replace.sh b/matita/matita/contribs/lambda-delta/replace.sh
deleted file mode 100644
index 6caaacdb8..000000000
--- a/matita/matita/contribs/lambda-delta/replace.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/sh
-for V in `cat Make`; do
-   echo ${V}; sed "s/$1/$2/g" ${V} > ${V}.new
-   if diff ${V} ${V}.new > /dev/null; 
-      then rm -f ${V}.new; else mv -f ${V}.new ${V}; fi
-done
-
-unset V