]> matita.cs.unibo.it Git - helm.git/blob - helm/meta_style/subst.pl
removed an ancient debugging message
[helm.git] / helm / meta_style / subst.pl
1 #!/usr/bin/perl
2
3
4 open(FILE, $ARGV[2]) || die("Error: cannot open \"$ARGV[2]\" for reading.\n");
5 @file = <FILE>;
6 close(FILE);
7
8 open(FILE, ">$ARGV[2]");
9
10 foreach $line (@file)
11 {
12         $line =~ s/$ARGV[0]/$ARGV[1]/g; 
13         
14         print FILE "$line";
15 }
16
17 close(FILE);