]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
- main page now generated automatically
[helm.git] / helm / mowgli / home / html / Makefile
1
2 #DESTDIR = /projects/mowgli/public_html
3 DESTDIR = /tmp/mowgli
4
5 TEMPLATESROOT = ../templates
6 XMLROOT = ../xml
7 XSLROOT = ../xsl
8
9 DOCUMENTS = \
10             index.html \
11             home.html \
12             menu.html \
13             project-management.html \
14             consortium.html \
15             project.html \
16             news.html \
17             deliverables/distribution/d5a.html \
18             deliverables/distribution/d5b.html \
19             deliverables/information-dissemination-and-exploitation/d7a.html \
20             deliverables/information-dissemination-and-exploitation/d7b.html \
21             deliverables/interfaces/d4a.html \
22             deliverables/interfaces/d4b.html \
23             deliverables/interfaces/d4c.html \
24             deliverables/interfaces/d4d.html \
25             deliverables/interfaces/d4e.html \
26             deliverables/metadata/d3a.html \
27             deliverables/metadata/d3b.html \
28             deliverables/project-management/d0a.html \
29             deliverables/project-management/d0b.html \
30             deliverables/project-management/d0c.html \
31             deliverables/project-management/d0d.html \
32             deliverables/requirement-analysis/d1a.html \
33             deliverables/requirement-analysis/d1b.html \
34             deliverables/requirement-analysis/d1c.html \
35             deliverables/testing-and-validation/d6a.html \
36             deliverables/testing-and-validation/d6b.html \
37             deliverables/testing-and-validation/d6c.html \
38             deliverables/testing-and-validation/d6d.html \
39             deliverables/transformation/d2a.html \
40             deliverables/transformation/d2b.html \
41             deliverables/transformation/d2c.html \
42             deliverables/transformation/d2d.html \
43             deliverables/transformation/d2e.html \
44             deliverables/transformation/d2f.html \
45             deliverables/transformation/d2g.html \
46             sites/aei.html \
47             sites/bologna.html \
48             sites/dfki.html \
49             sites/inria.html \
50             sites/nijmegen.html \
51             sites/trusted-logic.html \
52             people/aei/kelley.html \
53             people/aei/schutz.html \
54             people/aei/velden.html \
55             people/aei/wegner.html \
56             people/bologna/asperti.html \
57             people/bologna/guidi.html \
58             people/bologna/padovani.html \
59             people/bologna/sacerdoti.html \
60             people/bologna/schena.html \
61             people/dfki/kohlhase.html \
62             people/dfki/melis.html \
63             people/dfki/siekmann.html \
64             people/inria/amerkad.html \
65             people/inria/bertot.html \
66             people/inria/chicli.html \
67             people/inria/delahaye.html \
68             people/inria/herbelin.html \
69             people/inria/naciri.html \
70             people/inria/pottier.html \
71             people/inria/rideau.html \
72             people/inria/thery.html \
73             people/nijmegen/barendregt.html \
74             people/nijmegen/barreiro.html \
75             people/nijmegen/cohen.html \
76             people/nijmegen/cruz-filipe.html \
77             people/nijmegen/geuvers.html \
78             people/nijmegen/niqui.html \
79             people/nijmegen/stein.html \
80             people/nijmegen/synek.html \
81             people/nijmegen/wiedijk.html \
82             people/trusted-logic/bolignano.html \
83             publications/others/category_al.html \
84             publications/others/crimea2001_apss.html \
85             publications/others/cup_s.html \
86             publications/others/cup_s2.html \
87             publications/others/extreme2001_apss.html \
88             publications/others/har_bg.html \
89             publications/others/jep_ws.html \
90             publications/others/jep_wwsw.html \
91             publications/others/jlp2001_scg.html \
92             publications/others/mathml2000_apss.html \
93             publications/others/mscs_gb.html \
94             publications/others/tcs2001_og.html \
95             publications/others/tphols2000_gwz.html \
96             publications/others/tphols2001_apss.html \
97             work-packages/index.html \
98             work-packages/distribution.html \
99             work-packages/information-dissemination-and-exploitation.html \
100             work-packages/interfaces.html \
101             work-packages/metadata.html \
102             work-packages/project-management.html \
103             work-packages/requirement-analysis.html \
104             work-packages/testing-and-validation.html \
105             work-packages/transformation.html
106
107 all: $(DOCUMENTS)
108
109 home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
110            $(XMLROOT)/news.xml \
111            $(XSLROOT)/latest-news.xsl
112         cat $(TEMPLATESROOT)/home.html.top >$@
113         xsltproc $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@
114         cat $(TEMPLATESROOT)/home.html.bot >>$@
115
116 index.html: $(TEMPLATESROOT)/index.html
117         cp $< $@
118
119 menu.html: $(TEMPLATESROOT)/menu.html
120         sed s/\@DATE\@/"`date`"/ $< >$@
121
122 project-management.html: $(TEMPLATESROOT)/project-management.html
123         cp $< $@
124
125 consortium.html: $(XMLROOT)/consortium.xml \
126                  $(XSLROOT)/consortium.xsl
127         xsltproc -o $@ $(XSLROOT)/consortium.xsl $<
128
129 project.html: $(XMLROOT)/project.xml \
130               $(XSLROOT)/project.xsl
131         xsltproc -o $@ $(XSLROOT)/project.xsl $<
132
133 news.html: $(XMLROOT)/news.xml \
134            $(XSLROOT)/news.xsl
135         xsltproc -o $@ $(XSLROOT)/news.xsl $<
136
137 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
138               $(XSLROOT)/deliverable.xsl
139         xsltproc -o $@ $(XSLROOT)/deliverable.xsl $<
140
141 sites/%.html: $(XMLROOT)/sites/%.xml \
142               $(XSLROOT)/site.xsl
143         xsltproc -o $@ $(XSLROOT)/site.xsl $<
144
145 people/%.html: $(XMLROOT)/people/%.xml \
146               $(XSLROOT)/person.xsl
147         xsltproc -o $@ $(XSLROOT)/person.xsl $<
148
149 publications/%.html: $(XMLROOT)/publications/%.xml \
150               $(XSLROOT)/publication.xsl
151         xsltproc -o $@ $(XSLROOT)/publication.xsl $<
152
153 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
154                           $(XSLROOT)/work-packages_index.xsl
155         xsltproc -o $@ $(XSLROOT)/work-packages_index.xsl $<
156         
157 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
158               $(XSLROOT)/work-package.xsl
159         xsltproc -o $@ $(XSLROOT)/work-package.xsl $<
160
161 clean:
162         rm -f $(DOCUMENTS)
163 .PHONY: clean
164
165 install: $(DOCUMENTS)
166         mkdir -p $(DESTDIR)/html
167         for i in $(dir $(DOCUMENTS)); do \
168                 mkdir -p $(DESTDIR)/html/$$i; \
169         done
170         for i in $(DOCUMENTS); do \
171                 cp $$i $(DESTDIR)/html/$$i; \
172         done
173         mkdir -p $(DESTDIR)/images
174         cp ../images/*.* $(DESTDIR)/images
175         mkdir -p $(DESTDIR)/style
176         cp ../style/*.css $(DESTDIR)/style
177         sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
178
179 uninstall:
180         rm -rf $(DESTDIR)/*
181
182 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
183 $(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
184 $(DOCUMENTS) : $(XSLROOT)/common.xsl
185