X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fpostgresql_V7_mowgli%2FMakefile;h=271004ede4ae88e360ffc9d31f872bbfbd7e38fb;hb=1c7fb836e2af4f2f3d18afd0396701f2094265ff;hp=c0814d7fb5d6b25afaa165ce79ac934d60d202fc;hpb=7ba6844c6d663f67235e8da1e06f7f08c77ae8c2;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/*