]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/dc_mowgli/mkindex.sh
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / metadata / dc_mowgli / mkindex.sh
diff --git a/helm/metadata/dc_mowgli/mkindex.sh b/helm/metadata/dc_mowgli/mkindex.sh
deleted file mode 100755 (executable)
index 3a814ba..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-echo `find . -name "*.xml"` | ../uris_of_filenames.pl $1 > rdf_index.txt
-echo `find . -name "*.xml.gz"` | ../uris_of_filenames.pl $1 -gz >> rdf_index.txt