]> 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 8cebc0c94ba963da195f5d3fe50e293b29c9fb48..dc9365a5be4ad1a0a7cc624d0b27d428575333f1 100644 (file)
@@ -20,9 +20,11 @@ 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 \
@@ -31,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 \
@@ -40,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 \
@@ -49,19 +55,23 @@ PEOPLE = \
                people/nijmegen/stein.html \
                people/nijmegen/synek.html \
                people/nijmegen/wiedijk.html \
-               people/trusted-logic/bolignano.html
+               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-objectives.html \
-            project-summary.html \
-            contribution.html \
-            innovation.html \
-            EC-contribution.html \
-            econ-scient-tech-prospects.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 \
@@ -69,6 +79,7 @@ DOCUMENTS = \
            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 \
@@ -100,6 +111,7 @@ DOCUMENTS = \
             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 \
@@ -109,6 +121,8 @@ DOCUMENTS = \
             sites/nijmegen.html \
             sites/trusted-logic.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 \
@@ -151,8 +165,8 @@ home.html: $(XMLROOT)/home.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
-       cp $< $@
+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 $< $@
@@ -160,41 +174,58 @@ index.html: $(TEMPLATESROOT)/index.html
 members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
        cp $< $@
 
+slides/%.html: $(XMLROOT)/slides/%.xml $(XHTMLCONTENT)
+       $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
+
 members/index.html: $(XMLROOT)/members-index.xml \
                    $(XHTMLCONTENT)
        sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
+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) -
+
 software/index.html: $(XMLROOT)/software/index.xml \
                     $(XHTMLCONTENT)
        $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) $<
 
-project-management.html: $(XMLROOT)/project-management.xml \
-                         $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(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) -
 
-project-summary.html: $(XMLROOT)/project-summary.xml \
+proposal/project-summary.html: $(XMLROOT)/proposal/project-summary.xml \
                      $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-project-objectives.html: $(XMLROOT)/project-objectives.xml \
+proposal/project-objectives.html: $(XMLROOT)/proposal/project-objectives.xml \
                         $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(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) -
 
-contribution.html: $(XMLROOT)/contribution.xml \
+proposal/innovation.html: $(XMLROOT)/proposal/innovation.xml \
                          $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-innovation.html: $(XMLROOT)/innovation.xml \
+proposal/EC-contribution.html: $(XMLROOT)/proposal/EC-contribution.xml \
                          $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-EC-contribution.html: $(XMLROOT)/EC-contribution.xml \
+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) -
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
 
-econ-scient-tech-prospects.html: $(XMLROOT)/econ-scient-tech-prospects.xml \
+proposal/project-planning.html: $(XMLROOT)/proposal/project-planning.xml \
                          $(XHTMLCONTENT)
-       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'.'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+       sed $(RMDOCTYPE) $< | $(XSLTP) --param path_to_top "'..'" --param use_frames "'$(FRAMES)'" -o $@ $(XHTMLCONTENT) -
+
+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)
@@ -264,12 +295,16 @@ publications/index.html: $(XMLROOT)/publications/index.xml \
        $(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 \
                      $(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 \
                           $(XHTMLCONTENT) 
@@ -299,9 +334,14 @@ install: $(DOCUMENTS)
        mkdir -p $(DESTDIR)/style
        cp ../style/*.css $(DESTDIR)/style
        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 | \