]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- added publication index
[helm.git] / helm / mowgli / home / html / Makefile
index 6f93e4415c3e222df79844547375ddcdb2301551..0758a9240ac62c1db0241148073bee4e05284a56 100644 (file)
@@ -84,12 +84,15 @@ 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 \
@@ -133,9 +136,17 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
 
-members/index.html: $(TEMPLATESROOT)/nothing_yet.html
+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 $< $@
 
@@ -201,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 $<