]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/dc_mowgli/Makefile
This commit was manufactured by cvs2svn to create branch
[helm.git] / helm / metadata / dc_mowgli / Makefile
diff --git a/helm/metadata/dc_mowgli/Makefile b/helm/metadata/dc_mowgli/Makefile
deleted file mode 100644 (file)
index 571221a..0000000
+++ /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