From: Luca Padovani Date: Tue, 19 Feb 2002 16:52:12 +0000 (+0000) Subject: moved some xml files into xml root directory X-Git-Tag: V_0_3_0_debian_8~296 X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=849fd6b8788ce94cc05cd3ac86caf5fe3b198eb9 moved some xml files into xml root directory fixed omdoc link from menu --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 0112de5de..b1ded5bc2 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -149,11 +149,11 @@ software/index.html: $(XMLROOT)/software/index.xml \ menu.html: $(TEMPLATESROOT)/menu.html sed s/\@DATE\@/"`date`"/ $< >$@ -project-management.html: $(TEMPLATESROOT)/project-management.xml \ +project-management.html: $(XMLROOT)/project-management.xml \ $(XSLROOT)/xhtml-content.xsl $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $< -project-summary.html: $(TEMPLATESROOT)/project-summary.xml \ +project-summary.html: $(XMLROOT)/project-summary.xml \ $(XSLROOT)/xhtml-content.xsl $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $< diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top index 062621346..56e225775 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -51,6 +51,8 @@ (XSLT, RDF, etc).

+

Read more about the project:

+