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

diff --git a/helm/metadata/postgresql_V7_mowgli/Makefile b/helm/metadata/postgresql_V7_mowgli/Makefile
deleted file mode 100644
index 271004ede..000000000
--- a/helm/metadata/postgresql_V7_mowgli/Makefile
+++ /dev/null
@@ -1,16 +0,0 @@
-CWD=/projects/helm/metadata/postgresql_V7_mowgli_new_schema
-
-txt:
-	(cd forward && find . -type d -exec mkdir -p $(CWD)/txt/{} \;)
-	(cd forward && find . -name "*.xml" -exec xsltproc --param path '"{}"' -o $(CWD)/txt/{}.txt $(CWD)/metainfo.xsl {} \; -exec echo {} \;)
-
-upload:
-	./upload_rel.pl forward_rel.xml | psql -h mowgli -U helm helm_mowgli_new_schema
-	./upload_sort.pl forward_sort.xml | psql -h mowgli -U helm helm_mowgli_new_schema
-	(cd txt && find */* -name "*.txt" > index.txt)
-	(cd txt && cat index.txt | ../inserisci.pl)
-
-clean:
-	rm -rf txt/*
-
-.PHONY: txt