]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/postgresql_V7_mowgli/Makefile
MathQL homepage added
[helm.git] / helm / metadata / postgresql_V7_mowgli / Makefile
1 CWD=/projects/helm/metadata/postgresql_V7_mowgli_new_schema
2
3 txt:
4         (cd forward && find . -type d -exec mkdir -p $(CWD)/txt/{} \;)
5         (cd forward && find . -name "*.xml" -exec xsltproc --param path '"{}"' -o $(CWD)/txt/{}.txt $(CWD)/metainfo.xsl {} \; -exec echo {} \;)
6
7 upload:
8         ./upload_rel.pl forward_rel.xml | psql -h mowgli -U helm helm_mowgli_new_schema
9         ./upload_sort.pl forward_sort.xml | psql -h mowgli -U helm helm_mowgli_new_schema
10         (cd txt && find */* -name "*.txt" > index.txt)
11         (cd txt && cat index.txt | ../inserisci.pl)
12
13 clean:
14         rm -rf txt/*
15
16 .PHONY: txt