From: Claudio Sacerdoti Coen Date: Thu, 21 Nov 2002 18:26:47 +0000 (+0000) Subject: ... X-Git-Tag: V_0_0_5~8 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9a15410edc3a5ad417fa05bbf914dc787cd152b3;p=helm.git ... --- diff --git a/helm/metadata/postgresql_V7_mowgli/Makefile b/helm/metadata/postgresql_V7_mowgli/Makefile index c0814d7fb..271004ede 100644 --- a/helm/metadata/postgresql_V7_mowgli/Makefile +++ b/helm/metadata/postgresql_V7_mowgli/Makefile @@ -5,10 +5,10 @@ txt: (cd forward && find . -name "*.xml" -exec xsltproc --param path '"{}"' -o $(CWD)/txt/{}.txt $(CWD)/metainfo.xsl {} \; -exec echo {} \;) upload: - (cd txt && find */* -name "*.txt" > index.txt) - (cd txt && cat index.txt | ../inserisci.pl) ./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/*