]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
- added publication index
[helm.git] / helm / mowgli / home / html / Makefile
index 3f0e5a46639dcc65d4f9ed63ffd53df623f85298..0758a9240ac62c1db0241148073bee4e05284a56 100644 (file)
@@ -83,12 +83,17 @@ DOCUMENTS = \
             deliverables/transformation/d2e.html \
             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 \
@@ -116,7 +121,7 @@ DOCUMENTS = \
 
 all: $(DOCUMENTS)
 
-home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.mid $(TEMPLATESROOT)/home.html.bot \
+home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
           $(XMLROOT)/news.xml \
           $(XMLROOT)/other-events.xml \
           $(XSLROOT)/latest-news.xsl \
@@ -131,6 +136,20 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.mid $(TEMPL
 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`"/ $< >$@
 
@@ -193,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 $<
@@ -221,6 +244,7 @@ install: $(DOCUMENTS)
        cp ../images/*.* $(DESTDIR)/images
        mkdir -p $(DESTDIR)/style
        cp ../style/*.css $(DESTDIR)/style
+       cp ../htaccess $(DESTDIR)/html/members/.htaccess
        sed s/menu\\.html/html\\/menu\\.html/ <index.html | sed s/home\\.html/html\\/home\\.html/ >$(DESTDIR)/index.html
 
 uninstall: