]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
First MOWGLI paper. Many others will follow.
[helm.git] / helm / mowgli / home / html / Makefile
index a6c631fb3c110416929e2fa15f13e772f0617382..805650404d4b0e5f2364bc5216b3e74dec636886 100644 (file)
@@ -120,6 +120,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 \
@@ -289,12 +291,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)