refactoring ...

[helm.git] / matita / matita / contribs / lambda-delta / replace.sh

diff --git a/matita/matita/contribs/lambda-delta/replace.sh b/matita/matita/contribs/lambda-delta/replace.sh
deleted file mode 100644 (file)
index 6caaacd..0000000
--- 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