From: Claudio Sacerdoti Coen Date: Mon, 25 Feb 2002 10:42:44 +0000 (+0000) Subject: Some clean-up (unuseful sed removed from Makefile). X-Git-Tag: V_0_3_0_debian_8~276 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e461bc9c5f94c8075c4806365e4db495b530f9fc;p=helm.git Some clean-up (unuseful sed removed from Makefile). --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 8fc0e0b8a..df78f8dfa 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -147,7 +147,7 @@ software/index.html: $(XMLROOT)/software/index.xml \ $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $< menu.html: $(TEMPLATESROOT)/menu.html - sed s/\@DATE\@/"`date`"/ $< >$@ + cp $< $@ project-management.html: $(XMLROOT)/project-management.xml \ $(XSLROOT)/xhtml-content.xsl diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index a2695a13c..bce5ef009 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -1,7 +1,8 @@ - + MoWGLI Menu @@ -80,7 +81,7 @@
Project Leader: -
asperti@cs.unibo.it +
Prof. Andrea Asperti
Webmaster:
@@ -96,13 +97,6 @@ - -