]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/metadata/postgresql_V7_mowgli/Makefile
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / metadata / postgresql_V7_mowgli / Makefile
index c0814d7fb5d6b25afaa165ce79ac934d60d202fc..271004ede4ae88e360ffc9d31f872bbfbd7e38fb 100644 (file)
@@ -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/*