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