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

diff --git a/helm/metadata/create2/Makefile b/helm/metadata/create2/Makefile
deleted file mode 100644
index b1ce8e195..000000000
--- a/helm/metadata/create2/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 mk_forward/mk_forward.opt $$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