]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/html/Makefile
Nothing yet pages added to fix broken links.
[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             sites/aei.html \
88             sites/bologna.html \
89             sites/dfki.html \
90             sites/inria.html \
91             sites/nijmegen.html \
92             sites/trusted-logic.html \
93             publications/mowgli/index.html \
94             publications/others/category_al.html \
95             publications/others/crimea2001_apss.html \
96             publications/others/cup_s.html \
97             publications/others/cup_s2.html \
98             publications/others/extreme2001_apss.html \
99             publications/others/har_bg.html \
100             publications/others/jep_ws.html \
101             publications/others/jep_wwsw.html \
102             publications/others/jlp2001_scg.html \
103             publications/others/mathml2000_apss.html \
104             publications/others/mscs_gb.html \
105             publications/others/tcs2001_og.html \
106             publications/others/tphols2000_gwz.html \
107             publications/others/tphols2001_apss.html \
108             work-packages/index.html \
109             work-packages/distribution.html \
110             work-packages/information-dissemination-and-exploitation.html \
111             work-packages/interfaces.html \
112             work-packages/metadata.html \
113             work-packages/project-management.html \
114             work-packages/requirement-analysis.html \
115             work-packages/testing-and-validation.html \
116             work-packages/transformation.html \
117             $(PEOPLE)
118
119 all: $(DOCUMENTS)
120
121 home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
122            $(XMLROOT)/news.xml \
123            $(XMLROOT)/other-events.xml \
124            $(XSLROOT)/latest-news.xsl \
125            $(XSLROOT)/sort-events-by-beginning.xsl \
126            $(XSLROOT)/approaching-deadlines.xsl
127         cat $(TEMPLATESROOT)/home.html.top >$@
128         $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@
129 #       cat $(TEMPLATESROOT)/home.html.mid >>$@
130 #       $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $(XMLROOT)/other-events.xml | $(XSLTP) $(XSLROOT)/approaching-deadlines.xsl - >>$@
131         cat $(TEMPLATESROOT)/home.html.bot >>$@
132
133 index.html: $(TEMPLATESROOT)/index.html
134         cp $< $@
135
136 members/index.html: $(TEMPLATESROOT)/nothing_yet.html
137         cp $< $@
138
139 publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
140         cp $< $@
141
142 menu.html: $(TEMPLATESROOT)/menu.html
143         sed s/\@DATE\@/"`date`"/ $< >$@
144
145 project-management.html: $(TEMPLATESROOT)/project-management.html
146         cp $< $@
147
148 project_summary.html: $(TEMPLATESROOT)/project_summary.html
149         cp $< $@
150
151 people-list.html: $(XSLROOT)/person-entry.xsl $(XSLROOT)/people-list.xsl $(PEOPLE_SOURCE)
152         ( \
153                 echo "<people>" >/tmp/people-list.xml; \
154                 SITES=`cd $(XMLROOT)/sites; ls *.xml | cut -d'.' -f1`; \
155                 for i in $$SITES; \
156                 do \
157                         echo "<from site=\"$$i\">" >>/tmp/people-list.xml; \
158                         SITE_PEOPLE=`cd $(XMLROOT)/people/$$i; ls *.xml | cut -d'.' -f1`; \
159                         for j in $$SITE_PEOPLE; \
160                         do \
161                                 echo "<person file=\"$$j\"/>" >>/tmp/people-list.xml; \
162                         done; \
163                         echo "</from>" >>/tmp/people-list.xml; \
164                 done; \
165                 echo "</people>" >>/tmp/people-list.xml \
166         )
167         $(XSLTP) -o people-list.html $(XSLROOT)/people-list.xsl /tmp/people-list.xml
168 #       rm -rf /tmp/people-list.xml
169
170 consortium.html: $(XMLROOT)/consortium.xml \
171                  $(XSLROOT)/consortium.xsl
172         $(XSLTP) -o $@ $(XSLROOT)/consortium.xsl $<
173
174 project.html: $(XMLROOT)/project.xml \
175               $(XSLROOT)/project.xsl
176         $(XSLTP) -o $@ $(XSLROOT)/project.xsl $<
177
178 news.html: $(XMLROOT)/news.xml \
179            $(XSLROOT)/news.xsl
180         $(XSLTP) -o $@ $(XSLROOT)/news.xsl $<
181
182 events.html: $(XMLROOT)/other-events.xml \
183            $(XSLROOT)/sort-events-by-beginning.xsl \
184            $(XSLROOT)/events.xsl
185         $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/events.xsl -
186
187 deadlines.html: $(XMLROOT)/other-events.xml \
188            $(XSLROOT)/sort-events-by-deadline.xsl \
189            $(XSLROOT)/deadlines.xsl
190         $(XSLTP) $(XSLROOT)/sort-events-by-deadline.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/deadlines.xsl -
191
192 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
193               $(XSLROOT)/deliverable.xsl
194         $(XSLTP) -o $@ $(XSLROOT)/deliverable.xsl $<
195
196 sites/%.html: $(XMLROOT)/sites/%.xml \
197               $(XSLROOT)/site.xsl
198         $(XSLTP) -o $@ $(XSLROOT)/site.xsl $<
199
200 people/%.html: $(XMLROOT)/people/%.xml \
201               $(XSLROOT)/person.xsl
202         $(XSLTP) -o $@ $(XSLROOT)/person.xsl $<
203
204 publications/%.html: $(XMLROOT)/publications/%.xml \
205               $(XSLROOT)/publication.xsl
206         $(XSLTP) -o $@ $(XSLROOT)/publication.xsl $<
207
208 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
209                           $(XSLROOT)/work-packages_index.xsl
210         $(XSLTP) -o $@ $(XSLROOT)/work-packages_index.xsl $<
211         
212 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
213               $(XSLROOT)/work-package.xsl
214         $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $<
215
216 clean:
217         rm -f $(DOCUMENTS)
218 .PHONY: clean
219
220 install: $(DOCUMENTS)
221         mkdir -p $(DESTDIR)/html
222         for i in $(dir $(DOCUMENTS)); do \
223                 mkdir -p $(DESTDIR)/html/$$i; \
224         done
225         for i in $(DOCUMENTS); do \
226                 cp $$i $(DESTDIR)/html/$$i; \
227         done
228         mkdir -p $(DESTDIR)/images
229         cp ../images/*.* $(DESTDIR)/images
230         mkdir -p $(DESTDIR)/style
231         cp ../style/*.css $(DESTDIR)/style
232         cp ../htaccess $(DESTDIR)/html/members/.htaccess
233         sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
234
235 uninstall:
236         rm -rf $(DESTDIR)/*
237
238 $(XSLROOT)/%.xsl : $(XSLROOT)/common.xsl
239 $(XSLROOT)/latest-news.xsl : $(XSLROOT)/news.xsl
240 $(DOCUMENTS) : $(XSLROOT)/common.xsl
241