]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- added publication index
[helm.git] / helm / mowgli / home / html / Makefile
index 243319d94065b389c2249127e294a12f68ed3962..0758a9240ac62c1db0241148073bee4e05284a56 100644 (file)
@@ -84,12 +84,16 @@ DOCUMENTS = \
             deliverables/transformation/d2f.html \
             deliverables/transformation/d2g.html \
             members/index.html \
+           members/ml-help-example.txt \
+           software/index.html \
             sites/aei.html \
             sites/bologna.html \
             sites/dfki.html \
             sites/inria.html \
             sites/nijmegen.html \
             sites/trusted-logic.html \
+           publications/index.html \
+            publications/mowgli/index.html \
             publications/others/category_al.html \
             publications/others/crimea2001_apss.html \
             publications/others/cup_s.html \
@@ -132,6 +136,20 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
 
+members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
+       cp $< $@
+
+members/index.html: $(XMLROOT)/members-index.xml \
+       $(XSLROOT)/xhtml-content.xsl
+       $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
+
+software/index.html: $(XMLROOT)/software/index.xml \
+       $(XSLROOT)/xhtml-content.xsl
+       $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
+
+publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
+       cp $< $@
+
 menu.html: $(TEMPLATESROOT)/menu.html
        sed s/\@DATE\@/"`date`"/ $< >$@
 
@@ -194,6 +212,10 @@ people/%.html: $(XMLROOT)/people/%.xml \
               $(XSLROOT)/person.xsl
        $(XSLTP) -o $@ $(XSLROOT)/person.xsl $<
 
+publications/index.html: $(XMLROOT)/publications/index.xml \
+       $(XSLROOT)/publications-index.xsl
+       $(XSLTP) -o $@ $(XSLROOT)/publications-index.xsl $<
+
 publications/%.html: $(XMLROOT)/publications/%.xml \
               $(XSLROOT)/publication.xsl
        $(XSLTP) -o $@ $(XSLROOT)/publication.xsl $<
@@ -206,9 +228,6 @@ work-packages/%.html: $(XMLROOT)/work-packages/%.xml \
               $(XSLROOT)/work-package.xsl
        $(XSLTP) -o $@ $(XSLROOT)/work-package.xsl $<
 
-members/index.html:
-       echo "<html><body bgcolor=\"white\"><h1>Nothing yet!</h1></body></html>" > $@
-
 clean:
        rm -f $(DOCUMENTS)
 .PHONY: clean