]> matita.cs.unibo.it Git - helm.git/blob - helm/metadata/create/Makefile
mk_meta_graph.xsl and mk_dep_graph.xsl factorised using
[helm.git] / helm / metadata / create / Makefile
1 marcello:
2         time for i in `cat pluto` ; do ./mywget.pl $$i ; done
3
4 rdf:
5         find output -type f -exec ./split.pl {} \;
6         find rdf -type f -exec ./fix_rdf.pl {} \;
7         (cd rdf ; ../mkindex.sh)
8
9 .PHONY: clean rdf clean-rdf
10 clean:
11         find output -type f -exec rm {} \;
12
13 clean-rdf:
14         rm -rf rdf/*