X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate4%2FMakefile;fp=helm%2Fmetadata%2Fcreate4%2FMakefile;h=0000000000000000000000000000000000000000;hb=c7514aaa249a96c5fdd39b1123fbdb38d92f20b6;hp=30f0540d3e6a241589002027613541b57abb926e;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;p=helm.git

diff --git a/helm/metadata/create4/Makefile b/helm/metadata/create4/Makefile
deleted file mode 100644
index 30f0540d3..000000000
--- a/helm/metadata/create4/Makefile
+++ /dev/null
@@ -1,27 +0,0 @@
-all:
-	@echo Available targets:
-	@echo "   forward, backward, compress, clean-forward, clean-backward"
-
-forward:
-	time for i in `cat pluto` ; do (cd tmp ; wget -t 1 "http://phd.cs.unibo.it:8081/getxml?format=gz&uri=$$i") ; mkdir -p forward/`dirname $$i | sed "s/cic:\///"` ; zcat tmp/`basename $$i` | METADATA/meta `basename $$i` > forward/`echo $$i | sed "s/cic:\///"` ; rm tmp/`basename $$i` ; done > log 2>&1
-	(cd forward ; ../mkindex.sh forward)
-
-backward:
-	time for i in `cat pluto` ; do touch/touch.opt $$i ; done
-	find forward -type f -exec ./invert.pl {} \;
-	find backward -type f -exec ./fix_rdf.pl {} \;
-	(cd backward ; ../mkindex.sh backward)
-
-compress:
-	find forward -name "*.xml" -exec gzip {} \;
-	find backward -name "*.xml" -exec gzip {} \;
-	(cd forward ; ../mkindex.sh forward)
-	(cd backward ; ../mkindex.sh backward)
-
-clean-forward:
-	rm -rf forward/*
-
-clean-backward:
-	rm -rf backward/*
-
-.PHONY: all forward backward compress clean-forward clean-backward