]> 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 4e8da5e3dac4b9a19cdfb11ae6ae6bf08bbc6d16..dc9365a5be4ad1a0a7cc624d0b27d428575333f1 100644 (file)
@@ -79,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 \
@@ -120,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 \
@@ -171,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) -
@@ -289,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) 
@@ -327,6 +337,9 @@ install: $(DOCUMENTS)
        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 ] ; \