X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Finvert.pl;fp=helm%2Fmetadata%2Fcreate2%2Finvert.pl;h=0000000000000000000000000000000000000000;hp=f4a490dcbef5eb5e57e146c0e96ed5de345d0aec;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8

diff --git a/helm/metadata/create2/invert.pl b/helm/metadata/create2/invert.pl
deleted file mode 100755
index f4a490dcb..000000000
--- a/helm/metadata/create2/invert.pl
+++ /dev/null
@@ -1,31 +0,0 @@
-#!/usr/bin/perl
-
-my $inputfile = $ARGV[0];
-
-print "Now splitting file $inputfile\n";
-open(IN, "<$inputfile") or die "Error opening file $inputfile";
-$dummy = <IN>;  # <?xml version="1.0" encoding="ISO-8859-1"?>
-$dummy = <IN>;  #
-$dummy = <IN>;  # <rdf:RDF .../>
-$where = <IN>;  # <h:Object rdf:about="...">
-chomp($where);
-$where =~ s/^[^"]*"([^"]*)">$/$1/;
-while(($line1 = <IN>) && not ($line1 =~ /<\/h:Object>/)) {
-  $line2 = <IN>;
-  $line3 = <IN>; # </refObj>
-  $uri = $line2;
-  chomp($uri);
-  $uri =~ s/^ *<h:Occurrence rdf:about="[^"]*" rdf:value="([^"]*)"\/>$/$1/;
-  $who = $uri;
-  $who =~ s/^cic:/backward/;
-  $who =~ s/#xpointer\(1\/([^\/]*)\/([^\/]*)\)/,$1,$2/;
-  $who =~ s/#xpointer\(1\/([^\/]*)\)/,$1/;
-  $line2 =~ s/\Q$uri\E/$where/;
-   
-  open(OUT, ">>$who") or die "Error opening file $who";
-  print OUT "    <h:backPointer>\n";
-  print OUT $line2;
-  print OUT "    </h:backPointer>\n";
-  close(OUT);
-}
-close(IN);