]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/html/Makefile
project_summary.html added, but not linked yet.
[helm.git] / helm / mowgli / home / html / Makefile
index 30c581c4d9f875c32572e4b2c57398ee08ab5030..996697bd18f8886252269e19b6db2edee8bff7f5 100644 (file)
@@ -11,6 +11,7 @@ DOCUMENTS = \
             home.html \
            menu.html \
             project-management.html \
+            project_summary.html \
             consortium.html \
             project.html \
            news.html \
@@ -122,6 +123,9 @@ menu.html: $(TEMPLATESROOT)/menu.html
 project-management.html: $(TEMPLATESROOT)/project-management.html
        cp $< $@
 
+project_summary.html: $(TEMPLATESROOT)/project_summary.html
+       cp $< $@
+
 consortium.html: $(XMLROOT)/consortium.xml \
                  $(XSLROOT)/consortium.xsl
        xsltproc -o $@ $(XSLROOT)/consortium.xsl $<