]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create/uris_of_filenames.pl
f67d30d4fbeed24c9280fb740acd411266685331
[helm.git] / helm / metadata / create / 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[0] == "-gz"); }
10       s/\./helm:rdf:www.cs.unibo.it\/helm\/rdf\/rdfprova\/\/cic:/;
11       s/\.xml//;
12       print $_.$GZSUFF."\n";
13  }
14 }