]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create_V7_mowgli/uris_of_filenames.pl
Initial revision
[helm.git] / helm / metadata / create_V7_mowgli / uris_of_filenames.pl
1 #!/usr/bin/perl
2
3 while(<STDIN>) {
4    chomp;
5    split / /;
6    for (@_) {
7       $GZSUFF = "";
8       if (/.gz$/)
9        { s/.gz$//; $GZSUFF = " gz" if ($ARGV[1] == "-gz"); }
10       s/\./helm:rdf:www.cs.unibo.it\/helm\/rdf\/$ARGV[0]\/\/cic:/;
11       s/\.xml//;
12       print $_.$GZSUFF."\n";
13  }
14 }