]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/meta_style/subst.pl
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / meta_style / subst.pl
diff --git a/helm/meta_style/subst.pl b/helm/meta_style/subst.pl
deleted file mode 100755 (executable)
index 27ca245..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-#!/usr/bin/perl
-
-
-open(FILE, $ARGV[2]) || die("Error: cannot open \"$ARGV[2]\" for reading.\n");
-@file = <FILE>;
-close(FILE);
-
-open(FILE, ">$ARGV[2]");
-
-foreach $line (@file)
-{
-       $line =~ s/$ARGV[0]/$ARGV[1]/g; 
-       
-       print FILE "$line";
-}
-
-close(FILE);