]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
Some code factorization: towards a frame-free site.
[helm.git] / helm / mowgli / home / html / Makefile
1
2 DESTDIR = /projects/mowgli/public_html
3 #DESTDIR = /tmp/mowgli
4
5 XSLTP = xsltproc --param current-date "'`date`'"
6 TEMPLATESROOT = ../templates
7 XMLROOT = ../xml
8 XSLROOT = ../xsl
9
10 RMDOCTYPE = "s/<\\!DOCTYPE[^>]*>//"
11
12 XHTMLCONTENT = $(XSLROOT)/xhtml-content.xsl
13
14 PEOPLE = \
15         people/aei/kelley.html \
16         people/aei/schutz.html \
17         people/aei/velden.html \
18         people/aei/wegner.html \
19         people/bologna/asperti.html \
20         people/bologna/guidi.html \
21         people/bologna/padovani.html \
22         people/bologna/sacerdoti.html \
23         people/bologna/schena.html \
24         people/dfki/kohlhase.html \
25         people/dfki/melis.html \
26         people/dfki/siekmann.html \
27         people/inria/amerkad.html \
28         people/inria/bertot.html \
29         people/inria/chicli.html \
30         people/inria/delahaye.html \
31         people/inria/herbelin.html \
32         people/inria/naciri.html \
33         people/inria/pottier.html \
34         people/inria/rideau.html \
35         people/inria/thery.html \
36         people/nijmegen/barendregt.html \
37         people/nijmegen/barreiro.html \
38         people/nijmegen/cohen.html \
39         people/nijmegen/cruz-filipe.html \
40         people/nijmegen/geuvers.html \
41         people/nijmegen/niqui.html \
42         people/nijmegen/stein.html \
43         people/nijmegen/synek.html \
44         people/nijmegen/wiedijk.html \
45         people/trusted-logic/bolignano.html
46
47 DOCUMENTS = \
48             index.html \
49             home.html \
50             menu.html \
51             project-management.html \
52             project-objectives.html \
53             project-summary.html \
54             consortium.html \
55             project.html \
56             news.html \
57             other-events.html \
58             mowgli-events.html \
59             deadlines.html \
60             people-list.html \
61             deliverables/distribution/d5a.html \
62             deliverables/distribution/d5b.html \
63             deliverables/information-dissemination-and-exploitation/d7a.html \
64             deliverables/information-dissemination-and-exploitation/d7b.html \
65             deliverables/interfaces/d4a.html \
66             deliverables/interfaces/d4b.html \
67             deliverables/interfaces/d4c.html \
68             deliverables/interfaces/d4d.html \
69             deliverables/interfaces/d4e.html \
70             deliverables/metadata/d3a.html \
71             deliverables/metadata/d3b.html \
72             deliverables/project-management/d0a.html \
73             deliverables/project-management/d0b.html \
74             deliverables/project-management/d0c.html \
75             deliverables/project-management/d0d.html \
76             deliverables/requirement-analysis/d1a.html \
77             deliverables/requirement-analysis/d1b.html \
78             deliverables/requirement-analysis/d1c.html \
79             deliverables/testing-and-validation/d6a.html \
80             deliverables/testing-and-validation/d6b.html \
81             deliverables/testing-and-validation/d6c.html \
82             deliverables/testing-and-validation/d6d.html \
83             deliverables/transformation/d2a.html \
84             deliverables/transformation/d2b.html \
85             deliverables/transformation/d2c.html \
86             deliverables/transformation/d2d.html \
87             deliverables/transformation/d2e.html \
88             deliverables/transformation/d2f.html \
89             deliverables/transformation/d2g.html \
90             members/index.html \
91             members/ml-help-example.txt \
92             mowgli-events/kick-off.html \
93             software/index.html \
94             sites/aei.html \
95             sites/bologna.html \
96             sites/dfki.html \
97             sites/inria.html \
98             sites/nijmegen.html \
99             sites/trusted-logic.html \
100             publications/index.html \
101             publications/others/category_al.html \
102             publications/others/crimea2001_apss.html \
103             publications/others/cup_s.html \
104             publications/others/cup_s2.html \
105             publications/others/extreme2001_apss.html \
106             publications/others/har_bg.html \
107             publications/others/jep_ws.html \
108             publications/others/jep_wwsw.html \
109             publications/others/jlp2001_scg.html \
110             publications/others/mathml2000_apss.html \
111             publications/others/mscs_gb.html \
112             publications/others/tcs2001_og.html \
113             publications/others/tphols2000_gwz.html \
114             publications/others/tphols2001_apss.html \
115             work-packages/index.html \
116             work-packages/distribution.html \
117             work-packages/information-dissemination-and-exploitation.html \
118             work-packages/interfaces.html \
119             work-packages/metadata.html \
120             work-packages/project-management.html \
121             work-packages/requirement-analysis.html \
122             work-packages/testing-and-validation.html \
123             work-packages/transformation.html \
124             $(PEOPLE)
125
126 all: $(DOCUMENTS)
127
128 home.html: $(XMLROOT)/home.xml \
129            $(XMLROOT)/news.xml \
130            $(XMLROOT)/other-events.xml \
131            $(XMLROOT)/mowgli-events.xml \
132            $(XSLROOT)/latest-news.xsl \
133            $(XSLROOT)/approaching-deadlines.xsl \
134            $(XHTMLCONTENT)
135         $(XSLTP) -o latest-news.xml $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml
136         $(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml
137         $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) $(XMLROOT)/home.xml
138
139 index.html: $(TEMPLATESROOT)/index.html
140         cp $< $@
141
142 members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
143         cp $< $@
144
145 members/index.html: $(XMLROOT)/members-index.xml \
146                     $(XHTMLCONTENT)
147         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
148
149 software/index.html: $(XMLROOT)/software/index.xml \
150                      $(XHTMLCONTENT)
151         $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) $<
152
153 menu.html: $(TEMPLATESROOT)/menu.html
154         cp $< $@
155
156 project-management.html: $(XMLROOT)/project-management.xml \
157                          $(XHTMLCONTENT)
158         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
159
160 project-summary.html: $(XMLROOT)/project-summary.xml \
161                       $(XHTMLCONTENT)
162         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
163
164 project-objectives.html: $(XMLROOT)/project-objectives.xml \
165                          $(XHTMLCONTENT)
166         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
167
168 mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \
169                              $(XHTMLCONTENT)
170         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
171
172 people-list.html: $(XMLROOT)/people/index.xml \
173                   $(XSLROOT)/people-list.xsl \
174                   $(XHTMLCONTENT) 
175         $(XSLTP) $(XSLROOT)/people-list.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
176
177 consortium.html: $(XMLROOT)/consortium.xml \
178                  $(XSLROOT)/consortium.xsl \
179                  $(XHTMLCONTENT) 
180         $(XSLTP) $(XSLROOT)/consortium.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
181
182 project.html: $(XMLROOT)/project.xml \
183               $(XSLROOT)/project.xsl \
184               $(XHTMLCONTENT) 
185         $(XSLTP) $(XSLROOT)/project.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
186
187
188 news.html: $(XMLROOT)/news.xml \
189            $(XSLROOT)/news.xsl \
190            $(XHTMLCONTENT) 
191         $(XSLTP) $(XSLROOT)/news.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
192
193
194 other-events.html: $(XMLROOT)/other-events.xml \
195                    $(XSLROOT)/events.xsl \
196                    $(XHTMLCONTENT) 
197         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
198
199
200 mowgli-events.html: $(XMLROOT)/mowgli-events.xml \
201                     $(XSLROOT)/events.xsl \
202                     $(XHTMLCONTENT) 
203         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'MOWGLI'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
204
205
206 deadlines.html: $(XMLROOT)/other-events.xml \
207                 $(XSLROOT)/deadlines.xsl \
208                 $(XHTMLCONTENT) 
209         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/deadlines.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XHTMLCONTENT) -
210
211
212 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
213                      $(XSLROOT)/deliverable.xsl \
214                      $(XHTMLCONTENT) 
215         $(XSLTP) $(XSLROOT)/deliverable.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XHTMLCONTENT) -
216
217
218 sites/%.html: $(XMLROOT)/sites/%.xml \
219               $(XSLROOT)/site.xsl \
220               $(XHTMLCONTENT) 
221         $(XSLTP) $(XSLROOT)/site.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
222
223
224 people/%.html: $(XMLROOT)/people/%.xml \
225                $(XSLROOT)/person.xsl \
226                $(XHTMLCONTENT) 
227         $(XSLTP) $(XSLROOT)/person.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XHTMLCONTENT) -
228
229
230 publications/index.html: $(XMLROOT)/publications/index.xml \
231                          $(XSLROOT)/publications-index.xsl \
232                          $(XHTMLCONTENT) 
233         $(XSLTP) $(XSLROOT)/publications-index.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
234
235
236 publications/%.html: $(XMLROOT)/publications/%.xml \
237                      $(XSLROOT)/publication.xsl \
238                      $(XHTMLCONTENT) 
239         $(XSLTP) $(XSLROOT)/publication.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XHTMLCONTENT) -
240
241
242 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
243                           $(XSLROOT)/work-packages_index.xsl \
244                           $(XHTMLCONTENT) 
245         $(XSLTP) $(XSLROOT)/work-packages_index.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
246
247         
248 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
249                       $(XSLROOT)/work-package.xsl \
250                       $(XHTMLCONTENT) 
251         $(XSLTP) $(XSLROOT)/work-package.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XHTMLCONTENT) -
252
253
254 clean:
255         rm -f $(DOCUMENTS) approaching-deadlines.xml latest-news.xml
256 .PHONY: clean
257
258 install: $(DOCUMENTS)
259         mkdir -p $(DESTDIR)/html
260         for i in $(dir $(DOCUMENTS)); do \
261                 mkdir -p $(DESTDIR)/html/$$i; \
262         done
263         for i in $(DOCUMENTS); do \
264                 cp $$i $(DESTDIR)/html/$$i; \
265         done
266         mkdir -p $(DESTDIR)/images
267         cp ../images/*.* $(DESTDIR)/images
268         mkdir -p $(DESTDIR)/style
269         cp ../style/*.css $(DESTDIR)/style
270         cp ../htaccess $(DESTDIR)/html/members/.htaccess
271         mkdir -p $(DESTDIR)/html/members/contract
272         cp ../misc/contract/*.* $(DESTDIR)/html/members/contract
273         sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
274
275 uninstall:
276         rm -rf $(DESTDIR)/*
277
278 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
279 $(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
280 $(DOCUMENTS) : $(XSLROOT)/common.xsl
281