]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
Initial commit of the XML/XSLT stuff.
[helm.git] / helm / mowgli / home / html / Makefile
1 TEMPLATESROOT = ../templates
2 XMLROOT = ../xml
3 XSLROOT = ../xsl
4 DOCUMENTS = home.html index.html menu.html \
5             consortium.html \
6             project.html \
7             sites/aei.html \
8             sites/bologna.html \
9             sites/dfki.html \
10             sites/inria.html \
11             sites/nijmegen.html \
12             sites/trusted-logic.html \
13             people/aei/kelley.html \
14             people/aei/schutz.html \
15             people/aei/velden.html \
16             people/aei/wegner.html \
17             people/bologna/asperti.html \
18             people/bologna/guidi.html \
19             people/bologna/padovani.html \
20             people/bologna/sacerdoti.html \
21             people/bologna/schena.html \
22             people/dfki/kohlhase.html \
23             people/dfki/melis.html \
24             people/dfki/siekmann.html \
25             people/inria/amerkad.html \
26             people/inria/bertot.html \
27             people/inria/chicli.html \
28             people/inria/delahaye.html \
29             people/inria/herbelin.html \
30             people/inria/naciri.html \
31             people/inria/pottier.html \
32             people/inria/rideau.html \
33             people/inria/thery.html \
34             people/nijmegen/barendregt.html \
35             people/nijmegen/barreiro.html \
36             people/nijmegen/cohen.html \
37             people/nijmegen/cruz-filipe.html \
38             people/nijmegen/geuvers.html \
39             people/nijmegen/niqui.html \
40             people/nijmegen/stein.html \
41             people/nijmegen/synek.html \
42             people/nijmegen/wiedijk.html \
43             people/trusted-logic/bolignano.html \
44             publications/others/category_al.html \
45             publications/others/crimea2001_apss.html \
46             publications/others/cup_s.html \
47             publications/others/cup_s2.html \
48             publications/others/extreme2001_apss.html \
49             publications/others/har_bg.html \
50             publications/others/jep_ws.html \
51             publications/others/jep_wwsw.html \
52             publications/others/jlp2001_scg.html \
53             publications/others/mathml2000_apss.html \
54             publications/others/mscs_gb.html \
55             publications/others/tcs2001_og.html \
56             publications/others/tphols2000_gwz.html \
57             publications/others/tphols2001_apss.html \
58             work-packages/distribution.html \
59             work-packages/information-dissemination-and-exploitation.html \
60             work-packages/interfaces.html \
61             work-packages/metadata.html \
62             work-packages/project-management.html \
63             work-packages/requirement-analysis.html \
64             work-packages/testing-and-validation.html \
65             work-packages/transformation.html
66
67 all: $(DOCUMENTS)
68
69 home.html: $(TEMPLATESROOT)/home.html
70         cp $(TEMPLATESROOT)/home.html .
71
72 index.html: $(TEMPLATESROOT)/index.html
73         cp $(TEMPLATESROOT)/index.html .
74
75 menu.html: $(TEMPLATESROOT)/menu.html
76         cp $(TEMPLATESROOT)/menu.html .
77
78 consortium.html: $(XMLROOT)/consortium.xml \
79                  $(XSLROOT)/consortium.xsl
80         xsltproc -o $@ $(XSLROOT)/consortium.xsl $(XMLROOT)/consortium.xml
81
82 project.html: $(XMLROOT)/project.xml \
83               $(XSLROOT)/project.xsl
84         xsltproc -o $@ $(XSLROOT)/project.xsl $(XMLROOT)/project.xml
85
86 sites/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
87               $(XSLROOT)/site.xsl
88         xsltproc -o $@ $(XSLROOT)/site.xsl $(XMLROOT)/$(@:%.html=%.xml)
89
90 people/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
91               $(XSLROOT)/person.xsl
92         xsltproc -o $@ $(XSLROOT)/person.xsl $(XMLROOT)/$(@:%.html=%.xml)
93
94 publications/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
95               $(XSLROOT)/publication.xsl
96         xsltproc -o $@ $(XSLROOT)/publication.xsl $(XMLROOT)/$(@:%.html=%.xml)
97
98 work-packages/%.html: $(XMLROOT)/$(@:%.html=%.xml) \
99               $(XSLROOT)/work-package.xsl
100         xsltproc -o $@ $(XSLROOT)/work-package.xsl $(XMLROOT)/$(@:%.html=%.xml)
101
102 clean:
103         rm -f $(DOCUMENTS)
104 .PHONY: clean