]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / html / Makefile
index 6f93e4415c3e222df79844547375ddcdb2301551..dc9365a5be4ad1a0a7cc624d0b27d428575333f1 100644 (file)
@@ -1,17 +1,30 @@
+# Note: "make FRAMES=x" works too
+FRAMES = yes
+#FRAMES = no
 
-#DESTDIR = /projects/mowgli/public_html
-DESTDIR = /tmp/mowgli
+DESTDIR = /projects/mowgli/public_html
+#DESTDIR = /tmp/mowgli
+
+HTMLDESTDIRSUFFIX = html_$(FRAMES)_frames
+
+HTMLDESTDIR = $(DESTDIR)/$(HTMLDESTDIRSUFFIX)
 
 XSLTP = xsltproc --param current-date "'`date`'"
 TEMPLATESROOT = ../templates
 XMLROOT = ../xml
 XSLROOT = ../xsl
 
+RMDOCTYPE = "s/<\\!DOCTYPE[^>]*>//"
+
+XHTMLCONTENT = $(XSLROOT)/xhtml-content.xsl
+
 PEOPLE = \
        people/aei/kelley.html \
+       people/aei/pollney.html \
        people/aei/schutz.html \
                people/aei/velden.html \
                people/aei/wegner.html \
+               people/aei/weyher.html \
                people/bologna/asperti.html \
                people/bologna/guidi.html \
                people/bologna/padovani.html \
@@ -20,6 +33,9 @@ PEOPLE = \
                people/dfki/kohlhase.html \
                people/dfki/melis.html \
                people/dfki/siekmann.html \
+               people/dfki/moschner.html \
+               people/dfki/goguadze.html \
+               people/dfki/libbrecht.html \
                people/inria/amerkad.html \
                people/inria/bertot.html \
                people/inria/chicli.html \
@@ -29,6 +45,7 @@ PEOPLE = \
                people/inria/pottier.html \
                people/inria/rideau.html \
                people/inria/thery.html \
+               people/inria/werner.html \
                people/nijmegen/barendregt.html \
                people/nijmegen/barreiro.html \
                people/nijmegen/cohen.html \
@@ -38,22 +55,31 @@ PEOPLE = \
                people/nijmegen/stein.html \
                people/nijmegen/synek.html \
                people/nijmegen/wiedijk.html \
-               people/trusted-logic/bolignano.html
-
-PEOPLE_SOURCE = $(PEOPLE:%.html=$(XMLROOT)/%.xml)
+               people/trusted-logic/bolignano.html \
+               people/trusted-logic/gimenez.html \
+               people/trusted-logic/loiseaux.html
 
 DOCUMENTS = \
             index.html \
             home.html \
            menu.html \
-            project-management.html \
-            project_summary.html \
+            proposal/project-management.html \
+            proposal/project-objectives.html \
+            proposal/project-summary.html \
+            proposal/contribution.html \
+            proposal/innovation.html \
+            proposal/EC-contribution.html \
+            proposal/econ-scient-tech-prospects.html \
+            proposal/project-planning.html \
+            proposal/project-components.html \
             consortium.html \
             project.html \
            news.html \
-           events.html \
+           other-events.html \
+           mowgli-events.html \
            deadlines.html \
            people-list.html \
+            slides/mowgligroup.html \
             deliverables/distribution/d5a.html \
             deliverables/distribution/d5b.html \
             deliverables/information-dissemination-and-exploitation/d7a.html \
@@ -84,13 +110,19 @@ DOCUMENTS = \
             deliverables/transformation/d2f.html \
             deliverables/transformation/d2g.html \
             members/index.html \
+           members/ml-help-example.txt \
+            members/kick-off.html \
+            mowgli-events/kick-off.html \
+           software/index.html \
             sites/aei.html \
             sites/bologna.html \
             sites/dfki.html \
             sites/inria.html \
             sites/nijmegen.html \
             sites/trusted-logic.html \
-            publications/mowgli/index.html \
+           publications/index.html \
+            publications/mowgli/crimea2002_aw_on_line.html \
+            publications/mowgli/crimea2002_aw.html \
             publications/others/category_al.html \
             publications/others/crimea2001_apss.html \
             publications/others/cup_s.html \
@@ -105,6 +137,10 @@ DOCUMENTS = \
             publications/others/tcs2001_og.html \
             publications/others/tphols2000_gwz.html \
             publications/others/tphols2001_apss.html \
+            publications/others/w3c_bl98.html \
+            publications/others/cup_hp91.html \
+            publications/others/cup_hp93.html \
+            publications/others/cc.html \
             work-packages/index.html \
             work-packages/distribution.html \
             work-packages/information-dissemination-and-exploitation.html \
@@ -118,119 +154,201 @@ DOCUMENTS = \
 
 all: $(DOCUMENTS)
 
-home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
+home.html: $(XMLROOT)/home.xml \
           $(XMLROOT)/news.xml \
           $(XMLROOT)/other-events.xml \
+          $(XMLROOT)/mowgli-events.xml \
           $(XSLROOT)/latest-news.xsl \
-          $(XSLROOT)/sort-events-by-beginning.xsl \
-          $(XSLROOT)/approaching-deadlines.xsl
-       cat $(TEMPLATESROOT)/home.html.top >$@
-       $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@
-#      cat $(TEMPLATESROOT)/home.html.mid >>$@
-#      $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $(XMLROOT)/other-events.xml | $(XSLTP) $(XSLROOT)/approaching-deadlines.xsl - >>$@
-       cat $(TEMPLATESROOT)/home.html.bot >>$@
+          $(XSLROOT)/approaching-deadlines.xsl \
+           $(XHTMLCONTENT)
+       $(XSLTP) -o latest-news.xml $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml
+       $(XSLTP) --param today `date +%Y%m%d` -o approaching-deadlines.xml $(XSLROOT)/approaching-deadlines.xsl $(XMLROOT)/other-events.xml
+       $(XSLTP) --param make_header "false()" --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $(XMLROOT)/home.xml
+
+menu.html: $(XMLROOT)/menu.xml $(XHTMLCONTENT)
+       $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" --param make_header "false()" --param make_footer "false()" -o $@ $(XHTMLCONTENT) $<
 
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
 
-members/index.html: $(TEMPLATESROOT)/nothing_yet.html
+members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
        cp $< $@
 
-publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
-       cp $< $@
+slides/%.html: $(XMLROOT)/slides/%.xml $(XHTMLCONTENT)
+       $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
 
-menu.html: $(TEMPLATESROOT)/menu.html
-       sed s/\@DATE\@/"`date`"/ $< >$@
+members/index.html: $(XMLROOT)/members-index.xml \
+                   $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-project-management.html: $(TEMPLATESROOT)/project-management.html
-       cp $< $@
+members/kick-off.html: $(XMLROOT)/members/kick-off.xml \
+                    $(XSLROOT)/minutes.xsl \
+                   $(XHTMLCONTENT)
+       $(XSLTP) $(XSLROOT)/minutes.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-project_summary.html: $(TEMPLATESROOT)/project_summary.html
-       cp $< $@
+software/index.html: $(XMLROOT)/software/index.xml \
+                    $(XHTMLCONTENT)
+       $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
+
+proposal/project-management.html: $(XMLROOT)/proposal/project-management.xml \
+                  $(XHTMLCONTENT) \
+                  $(XSLROOT)/management.xsl
+       $(XSLTP) $(XSLROOT)/management.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/project-summary.html: $(XMLROOT)/proposal/project-summary.xml \
+                     $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/project-objectives.html: $(XMLROOT)/proposal/project-objectives.xml \
+                        $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/contribution.html: $(XMLROOT)/proposal/contribution.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/innovation.html: $(XMLROOT)/proposal/innovation.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/EC-contribution.html: $(XMLROOT)/proposal/EC-contribution.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/econ-scient-tech-prospects.html: $(XMLROOT)/proposal/econ-scient-tech-prospects.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+proposal/project-planning.html: $(XMLROOT)/proposal/project-planning.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-people-list.html: $(XSLROOT)/person-entry.xsl $(XSLROOT)/people-list.xsl $(PEOPLE_SOURCE)
-       ( \
-               echo "<people>" >/tmp/people-list.xml; \
-               SITES=`cd $(XMLROOT)/sites; ls *.xml | cut -d'.' -f1`; \
-               for i in $$SITES; \
-               do \
-                       echo "<from site=\"$$i\">" >>/tmp/people-list.xml; \
-                       SITE_PEOPLE=`cd $(XMLROOT)/people/$$i; ls *.xml | cut -d'.' -f1`; \
-                       for j in $$SITE_PEOPLE; \
-                       do \
-                               echo "<person file=\"$$j\"/>" >>/tmp/people-list.xml; \
-                       done; \
-                       echo "</from>" >>/tmp/people-list.xml; \
-               done; \
-               echo "</people>" >>/tmp/people-list.xml \
-       )
-       $(XSLTP) -o people-list.html $(XSLROOT)/people-list.xsl /tmp/people-list.xml
-#      rm -rf /tmp/people-list.xml
+proposal/project-components.html: $(XMLROOT)/proposal/project-components.xml \
+                         $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+mowgli-events/kick-off.html: $(XMLROOT)/mowgli-events/kick-off.xml \
+                            $(XHTMLCONTENT)
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+people-list.html: $(XMLROOT)/people/index.xml \
+                  $(XSLROOT)/people-list.xsl \
+                  $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/people-list.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
 consortium.html: $(XMLROOT)/consortium.xml \
-                 $(XSLROOT)/consortium.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/consortium.xsl $<
+                 $(XSLROOT)/consortium.xsl \
+                 $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/consortium.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
 project.html: $(XMLROOT)/project.xml \
-              $(XSLROOT)/project.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/project.xsl $<
+              $(XSLROOT)/project.xsl \
+              $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/project.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 
 news.html: $(XMLROOT)/news.xml \
-          $(XSLROOT)/news.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/news.xsl $<
+          $(XSLROOT)/news.xsl \
+           $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/news.xsl $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+
+other-events.html: $(XMLROOT)/other-events.xml \
+                  $(XSLROOT)/events.xsl \
+                   $(XHTMLCONTENT) 
+       $(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) -
+
+
+mowgli-events.html: $(XMLROOT)/mowgli-events.xml \
+                   $(XSLROOT)/events.xsl \
+                    $(XHTMLCONTENT) 
+       $(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) -
 
-events.html: $(XMLROOT)/other-events.xml \
-          $(XSLROOT)/sort-events-by-beginning.xsl \
-          $(XSLROOT)/events.xsl
-       $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/events.xsl -
 
 deadlines.html: $(XMLROOT)/other-events.xml \
-          $(XSLROOT)/sort-events-by-deadline.xsl \
-          $(XSLROOT)/deadlines.xsl
-       $(XSLTP) $(XSLROOT)/sort-events-by-deadline.xsl $< | $(XSLTP) -o $@ $(XSLROOT)/deadlines.xsl -
+               $(XSLROOT)/deadlines.xsl \
+                $(XHTMLCONTENT) 
+       $(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) -
+
 
 deliverables/%.html: $(XMLROOT)/deliverables/%.xml \
-              $(XSLROOT)/deliverable.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/deliverable.xsl $<
+                     $(XSLROOT)/deliverable.xsl \
+                     $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/deliverable.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 
 sites/%.html: $(XMLROOT)/sites/%.xml \
-              $(XSLROOT)/site.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/site.xsl $<
+              $(XSLROOT)/site.xsl \
+              $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/site.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 
 people/%.html: $(XMLROOT)/people/%.xml \
-              $(XSLROOT)/person.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/person.xsl $<
+               $(XSLROOT)/person.xsl \
+               $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/person.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+
+publications/index.html: $(XMLROOT)/publications/index.xml \
+                        $(XSLROOT)/publications-index.xsl \
+                         $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/publications-index.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+
+publications/mowgli/%_on_line.html: $(XMLROOT)/publications/mowgli/%_on_line.xml \
+                     $(XHTMLCONTENT) 
+       $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
+
 
 publications/%.html: $(XMLROOT)/publications/%.xml \
-              $(XSLROOT)/publication.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/publication.xsl $<
+                     $(XSLROOT)/publication.xsl \
+                     $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/publication.xsl $< | $(XSLTP) --param path_to_top "'../..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
 work-packages/index.html: $(XMLROOT)/work-packages/index.xml \
-                          $(XSLROOT)/work-packages_index.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/work-packages_index.xsl $<
+                          $(XSLROOT)/work-packages_index.xsl \
+                          $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/work-packages_index.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
        
 work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
-              $(XSLROOT)/work-package.xsl
-       $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $<
+                      $(XSLROOT)/work-package.xsl \
+                      $(XHTMLCONTENT) 
+       $(XSLTP) $(XSLROOT)/work-package.xsl $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
 
 clean:
-       rm -f $(DOCUMENTS)
+       rm -f $(DOCUMENTS) approaching-deadlines.xml latest-news.xml
 .PHONY: clean
 
 install: $(DOCUMENTS)
-       mkdir -p $(DESTDIR)/html
+       mkdir -p $(HTMLDESTDIR)
        for i in $(dir $(DOCUMENTS)); do \
-               mkdir -p $(DESTDIR)/html/$$i; \
+               mkdir -p $(HTMLDESTDIR)/$$i; \
        done
        for i in $(DOCUMENTS); do \
-               cp $$i $(DESTDIR)/html/$$i; \
+               cp $$i $(HTMLDESTDIR)/$$i; \
        done
        mkdir -p $(DESTDIR)/images
        cp ../images/*.* $(DESTDIR)/images
        mkdir -p $(DESTDIR)/style
        cp ../style/*.css $(DESTDIR)/style
-       cp ../htaccess $(DESTDIR)/html/members/.htaccess
-       sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
+       cp ../htaccess $(HTMLDESTDIR)/members/.htaccess
+       mkdir -p $(DESTDIR)/misc/proposal
+       cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
+       cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
+       mkdir -p $(DESTDIR)/misc/contract
+       cp ../htaccess $(DESTDIR)/misc/contract/.htaccess
+       cp ../misc/contract/*.* $(DESTDIR)/misc/contract
+       cp ../misc/kick-off/*.* $(DESTDIR)/misc/kick-off
+       cp ../htaccess $(DESTDIR)/misc/kick-off/.htaccess
+       if [ $(FRAMES) = yes ] ; \
+       then \
+        sed s/menu\\.html/$(HTMLDESTDIRSUFFIX)\\/menu\\.html/ <index.html | \
+         sed s/home\\.html/$(HTMLDESTDIRSUFFIX)\\/home\\.html/ >$(DESTDIR)/index.html ; \
+        else \
+         cp home.html $(HTMLDESTDIR)/index.html ; \
+       fi
 
 uninstall:
        rm -rf $(DESTDIR)/*