]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/dc_mowgli/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / dc_mowgli / Makefile
1 upload:
2         cat create_dc_tables | psql -h mowgli -U helm helm_mowgli
3         cat create_dc_indexes | psql -h mowgli -U helm helm_mowgli
4         find dc -name "*.xml" -exec ./upload.pl {} \; | psql -h mowgli -U helm helm_mowgli
5
6 download:
7         cat drop_dc_tables | psql -h mowgli -U helm helm_mowgli