X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmetadata%2Fdc_mowgli%2FMakefile;fp=helm%2Fmetadata%2Fdc_mowgli%2FMakefile;h=0000000000000000000000000000000000000000;hp=571221a1de016456e12fc42d09342f13fabb1181;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/metadata/dc_mowgli/Makefile b/helm/metadata/dc_mowgli/Makefile
deleted file mode 100644
index 571221a1d..000000000
--- a/helm/metadata/dc_mowgli/Makefile
+++ /dev/null
@@ -1,7 +0,0 @@
-upload:
-	cat create_dc_tables | psql -h mowgli -U helm helm_mowgli
-	cat create_dc_indexes | psql -h mowgli -U helm helm_mowgli
-	find dc -name "*.xml" -exec ./upload.pl {} \; | psql -h mowgli -U helm helm_mowgli
-
-download:
-	cat drop_dc_tables | psql -h mowgli -U helm helm_mowgli