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