]> 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 1455b47d930ed1ad933d4d803cf26de5c6fbe3bc..dc9365a5be4ad1a0a7cc624d0b27d428575333f1 100644 (file)
@@ -56,7 +56,8 @@ PEOPLE = \
                people/nijmegen/synek.html \
                people/nijmegen/wiedijk.html \
                people/trusted-logic/bolignano.html \
-               people/trusted-logic/gimenez.html
+               people/trusted-logic/gimenez.html \
+               people/trusted-logic/loiseaux.html
 
 DOCUMENTS = \
             index.html \
@@ -78,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 \
@@ -119,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 \
@@ -161,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 $< $@
@@ -170,6 +174,9 @@ 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) -
@@ -288,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) 
@@ -326,7 +337,10 @@ install: $(DOCUMENTS)
        mkdir -p $(DESTDIR)/misc/proposal
        cp ../htaccess $(DESTDIR)/misc/proposal/.htaccess
        cp ../misc/proposal/*.* $(DESTDIR)/misc/proposal
-       cp -R ../misc/kick-off $(DESTDIR)/misc
+       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 \