From: Claudio Sacerdoti Coen Date: Fri, 15 Feb 2002 09:56:41 +0000 (+0000) Subject: project_summary.html added, but not linked yet. X-Git-Tag: V_0_3_0_debian_8~314 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9824dd7bff7d1ba0808e4a6827101ab8865e6747;p=helm.git project_summary.html added, but not linked yet. --- diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore index 606cd937a..c1e5356dd 100644 --- a/helm/mowgli/home/html/.cvsignore +++ b/helm/mowgli/home/html/.cvsignore @@ -2,6 +2,7 @@ home.html index.html menu.html project-management.html +project_summary.html consortium.html project.html news.html diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 30c581c4d..996697bd1 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -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 $<