]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
Great changes in all the stylesheets. Every page is now generated in two
[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 PEOPLE = \
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
45 DOCUMENTS = \
46             index.html \
47             home.html \
48             menu.html \
49             project-management.html \
50             project-objectives.html \
51             project-summary.html \
52             consortium.html \
53             project.html \
54             news.html \
55             other-events.html \
56             mowgli-events.html \
57             deadlines.html \
58             people-list.html \
59             deliverables/distribution/d5a.html \
60             deliverables/distribution/d5b.html \
61             deliverables/information-dissemination-and-exploitation/d7a.html \
62             deliverables/information-dissemination-and-exploitation/d7b.html \
63             deliverables/interfaces/d4a.html \
64             deliverables/interfaces/d4b.html \
65             deliverables/interfaces/d4c.html \
66             deliverables/interfaces/d4d.html \
67             deliverables/interfaces/d4e.html \
68             deliverables/metadata/d3a.html \
69             deliverables/metadata/d3b.html \
70             deliverables/project-management/d0a.html \
71             deliverables/project-management/d0b.html \
72             deliverables/project-management/d0c.html \
73             deliverables/project-management/d0d.html \
74             deliverables/requirement-analysis/d1a.html \
75             deliverables/requirement-analysis/d1b.html \
76             deliverables/requirement-analysis/d1c.html \
77             deliverables/testing-and-validation/d6a.html \
78             deliverables/testing-and-validation/d6b.html \
79             deliverables/testing-and-validation/d6c.html \
80             deliverables/testing-and-validation/d6d.html \
81             deliverables/transformation/d2a.html \
82             deliverables/transformation/d2b.html \
83             deliverables/transformation/d2c.html \
84             deliverables/transformation/d2d.html \
85             deliverables/transformation/d2e.html \
86             deliverables/transformation/d2f.html \
87             deliverables/transformation/d2g.html \
88             members/index.html \
89             members/ml-help-example.txt \
90             mowgli-events/kick-off.html \
91             software/index.html \
92             sites/aei.html \
93             sites/bologna.html \
94             sites/dfki.html \
95             sites/inria.html \
96             sites/nijmegen.html \
97             sites/trusted-logic.html \
98             publications/index.html \
99             publications/others/category_al.html \
100             publications/others/crimea2001_apss.html \
101             publications/others/cup_s.html \
102             publications/others/cup_s2.html \
103             publications/others/extreme2001_apss.html \
104             publications/others/har_bg.html \
105             publications/others/jep_ws.html \
106             publications/others/jep_wwsw.html \
107             publications/others/jlp2001_scg.html \
108             publications/others/mathml2000_apss.html \
109             publications/others/mscs_gb.html \
110             publications/others/tcs2001_og.html \
111             publications/others/tphols2000_gwz.html \
112             publications/others/tphols2001_apss.html \
113             work-packages/index.html \
114             work-packages/distribution.html \
115             work-packages/information-dissemination-and-exploitation.html \
116             work-packages/interfaces.html \
117             work-packages/metadata.html \
118             work-packages/project-management.html \
119             work-packages/requirement-analysis.html \
120             work-packages/testing-and-validation.html \
121             work-packages/transformation.html \
122             $(PEOPLE)
123
124 all: $(DOCUMENTS)
125
126 home.html: $(XMLROOT)/home.xml \
127            $(XMLROOT)/news.xml \
128            $(XMLROOT)/other-events.xml \
129            $(XMLROOT)/mowgli-events.xml \
130            $(XSLROOT)/latest-news.xsl \
131            $(XSLROOT)/approaching-deadlines.xsl \
132            $(XSLROOT)/xhtml-content.xsl
133         $(XSLTP) -o latest-news.xml $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml
134         $(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml
135         $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $(XMLROOT)/home.xml
136
137 index.html: $(TEMPLATESROOT)/index.html
138         cp $< $@
139
140 members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
141         cp $< $@
142
143 members/index.html: $(XMLROOT)/members-index.xml \
144                     $(XSLROOT)/xhtml-content.xsl
145         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
146
147 software/index.html: $(XMLROOT)/software/index.xml \
148                      $(XSLROOT)/xhtml-content.xsl
149         $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
150
151 menu.html: $(TEMPLATESROOT)/menu.html
152         cp $< $@
153
154 project-management.html: $(XMLROOT)/project-management.xml \
155                          $(XSLROOT)/xhtml-content.xsl
156         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
157
158 project-summary.html: $(XMLROOT)/project-summary.xml \
159                       $(XSLROOT)/xhtml-content.xsl
160         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
161
162 project-objectives.html: $(XMLROOT)/project-objectives.xml \
163                          $(XSLROOT)/xhtml-content.xsl
164         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
165
166 mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \
167                              $(XSLROOT)/xhtml-content.xsl
168         sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
169
170 people-list.html: $(XMLROOT)/people/index.xml \
171                   $(XSLROOT)/people-list.xsl \
172                   $(XSLROOT)/xhtml-content.xsl 
173         $(XSLTP) $(XSLROOT)/people-list.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
174
175 consortium.html: $(XMLROOT)/consortium.xml \
176                  $(XSLROOT)/consortium.xsl \
177                  $(XSLROOT)/xhtml-content.xsl 
178         $(XSLTP) $(XSLROOT)/consortium.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
179
180 project.html: $(XMLROOT)/project.xml \
181               $(XSLROOT)/project.xsl \
182               $(XSLROOT)/xhtml-content.xsl 
183         $(XSLTP) $(XSLROOT)/project.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
184
185
186 news.html: $(XMLROOT)/news.xml \
187            $(XSLROOT)/news.xsl \
188            $(XSLROOT)/xhtml-content.xsl 
189         $(XSLTP) $(XSLROOT)/news.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
190
191
192 other-events.html: $(XMLROOT)/other-events.xml \
193                    $(XSLROOT)/events.xsl \
194                    $(XSLROOT)/xhtml-content.xsl 
195         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
196
197
198 mowgli-events.html: $(XMLROOT)/mowgli-events.xml \
199                     $(XSLROOT)/events.xsl \
200                     $(XSLROOT)/xhtml-content.xsl 
201         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'MOWGLI'" $(XSLROOT)/events.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
202
203
204 deadlines.html: $(XMLROOT)/other-events.xml \
205                 $(XSLROOT)/deadlines.xsl \
206                 $(XSLROOT)/xhtml-content.xsl 
207         $(XSLTP) --param today `date +%Y%m%d` --param events-class "'Other'" $(XSLROOT)/deadlines.xsl $< | $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl -
208
209
210 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
211                      $(XSLROOT)/deliverable.xsl \
212                      $(XSLROOT)/xhtml-content.xsl 
213         $(XSLTP) $(XSLROOT)/deliverable.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
214
215
216 sites/%.html: $(XMLROOT)/sites/%.xml \
217               $(XSLROOT)/site.xsl \
218               $(XSLROOT)/xhtml-content.xsl 
219         $(XSLTP) $(XSLROOT)/site.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
220
221
222 people/%.html: $(XMLROOT)/people/%.xml \
223                $(XSLROOT)/person.xsl \
224                $(XSLROOT)/xhtml-content.xsl 
225         $(XSLTP) $(XSLROOT)/person.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
226
227
228 publications/index.html: $(XMLROOT)/publications/index.xml \
229                          $(XSLROOT)/publications-index.xsl \
230                          $(XSLROOT)/xhtml-content.xsl 
231         $(XSLTP) $(XSLROOT)/publications-index.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
232
233
234 publications/%.html: $(XMLROOT)/publications/%.xml \
235                      $(XSLROOT)/publication.xsl \
236                      $(XSLROOT)/xhtml-content.xsl 
237         $(XSLTP) $(XSLROOT)/publication.xsl $< | $(XSLTP) --param path_to_top "'../..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
238
239
240 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
241                           $(XSLROOT)/work-packages_index.xsl \
242                           $(XSLROOT)/xhtml-content.xsl 
243         $(XSLTP) $(XSLROOT)/work-packages_index.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
244
245         
246 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
247                       $(XSLROOT)/work-package.xsl \
248                       $(XSLROOT)/xhtml-content.xsl 
249         $(XSLTP) $(XSLROOT)/work-package.xsl $< | $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl -
250
251
252 clean:
253         rm -f $(DOCUMENTS) approaching-deadlines.xml latest-news.xml
254 .PHONY: clean
255
256 install: $(DOCUMENTS)
257         mkdir -p $(DESTDIR)/html
258         for i in $(dir $(DOCUMENTS)); do \
259                 mkdir -p $(DESTDIR)/html/$$i; \
260         done
261         for i in $(DOCUMENTS); do \
262                 cp $$i $(DESTDIR)/html/$$i; \
263         done
264         mkdir -p $(DESTDIR)/images
265         cp ../images/*.* $(DESTDIR)/images
266         mkdir -p $(DESTDIR)/style
267         cp ../style/*.css $(DESTDIR)/style
268         cp ../htaccess $(DESTDIR)/html/members/.htaccess
269         mkdir -p $(DESTDIR)/html/members/contract
270         cp ../misc/contract/*.* $(DESTDIR)/html/members/contract
271         sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
272
273 uninstall:
274         rm -rf $(DESTDIR)/*
275
276 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
277 $(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
278 $(DOCUMENTS) : $(XSLROOT)/common.xsl
279