]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/create/split.pl
This commit was manufactured by cvs2svn to create branch 'uwobo'.
[helm.git] / helm / metadata / create / split.pl
diff --git a/helm/metadata/create/split.pl b/helm/metadata/create/split.pl
deleted file mode 100755 (executable)
index 9b3a374..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-#!/usr/bin/perl
-
-foreach $inputfile (@ARGV) {
- print "Now splitting file $inputfile\n";
- open(IN, "<$inputfile");
- while($line = <IN>) {
-  if (not ($line =~ /^<?xml/ || $line =~/^<(\/|)occurrences>/)) {
-   if ($line =~ /^<!--/) {
-    # Begin of a new output file
-    $line =~ s/^<!--(.*)-->$/$1/;
-    $line =~ s/^cic:/rdf/;
-    $line =~ s/#xpointer\(1\/([^\/]*)\/([^\/]*)\)/,$1,$2/;
-    $line =~ s/#xpointer\(1\/([^\/]*)\)/,$1/;
-    $dir = $line;
-    $dir =~ s/\/[^\/]*$//;
-    close(OUT);
-    system("mkdir -p $dir");
-    open(OUT, ">>$line");
-   } else {
-    print OUT $line;
-   }
-  }
- }
- close(IN);
-}
-close(OUT);