X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate_V7_mowgli%2FMakefile;h=1397397eebebf87bc805f68c055cb7c7ceaa6802;hb=89262281b6e83bd2321150f81f1a0583645eb0c8;hp=c0a94dd09d986350aaf5603750ad85c77ab99bd8;hpb=0b8f555e17c1428e6ede4466e7c15d1f7b8a003d;p=helm.git

diff --git a/helm/metadata/create_V7_mowgli/Makefile b/helm/metadata/create_V7_mowgli/Makefile
index c0a94dd09..1397397ee 100644
--- a/helm/metadata/create_V7_mowgli/Makefile
+++ b/helm/metadata/create_V7_mowgli/Makefile
@@ -6,6 +6,8 @@ forward:
 	time for i in `cat costanti_e_variabili.txt` ; do (cd tmp && wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i" && wget -t 1 -O downloaded_body.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i.body") ; mkdir -p forward/`dirname $$i | sed "s/cic:\///"` && zcat tmp/downloaded.xml.gz > tmp/type.xml && zcat tmp/downloaded_body.xml.gz > tmp/body.xml ; METADATA/meta $$i > forward/`echo $$i | sed "s/cic:\///"`.xml && rm -f tmp/downloaded.xml.gz tmp/downloaded_body.xml.gz tmp/type.xml tmp/body.xml ; done > log 2>&1
 	time for i in `cat tipi_induttivi.txt` ; do (cd tmp && wget -t 1 -O downloaded.xml.gz "http://mowgli.cs.unibo.it:58081/getxml?format=gz&uri=$$i") && mkdir -p forward/`dirname $$i | sed "s/cic:\///"` && zcat tmp/downloaded.xml.gz > tmp/inductive_type.xml && METADATA/meta_ind forward/`echo $$i | sed "s/cic:\///"` $$i && rm tmp/downloaded.xml.gz tmp/inductive_type.xml ; done >> log 2>&1
 	(cd forward ; ../mkindex.sh forward)
+	cat forward_rel_or_sort_header.txt forward_rel.xml forward_rel_or_sort_footer.txt > forward_rel.xml.tmp && mv forward_rel.xml.tmp forward_rel.xml
+	cat forward_rel_or_sort_header.txt forward_sort.xml forward_rel_or_sort_footer.txt > forward_sort.xml.tmp && mv forward_sort.xml.tmp forward_sort.xml
 
 backward:
 	time for i in `cat all_objects.txt` ; do touch/touch.opt $$i ; done
@@ -20,7 +22,7 @@ compress:
 	(cd backward ; ../mkindex.sh backward)
 
 clean-forward:
-	rm -rf forward/*
+	rm -rf forward_rel.xml forward_sort.xml forward/*
 
 clean-backward:
 	rm -rf backward/*