From: Luca Padovani Date: Tue, 19 Feb 2002 17:22:29 +0000 (+0000) Subject: - removed date from menu (useful?) X-Git-Tag: V_0_3_0_debian_8~295 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0f3f9183eb6f7c65cb8e824ddb7480b4a19e0794;p=helm.git - removed date from menu (useful?) - added date on front page - added warning for site under construction - fixed deadline for extreme conference --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index b1ded5bc2..6bd1ae73d 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -130,7 +130,8 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \ $(XSLTP) $(XSLROOT)/latest-news.xsl $(XMLROOT)/news.xml >>$@ # cat $(TEMPLATESROOT)/home.html.mid >>$@ # $(XSLTP) $(XSLROOT)/sort-events-by-beginning.xsl $(XMLROOT)/other-events.xml | $(XSLTP) $(XSLROOT)/approaching-deadlines.xsl - >>$@ - cat $(TEMPLATESROOT)/home.html.bot >>$@ +# cat $(TEMPLATESROOT)/home.html.bot >>$@ + sed s/\@DATE\@/"`date`"/ $(TEMPLATESROOT)/home.html.bot >>$@ index.html: $(TEMPLATESROOT)/index.html cp $< $@ diff --git a/helm/mowgli/home/templates/home.html.bot b/helm/mowgli/home/templates/home.html.bot index e60979863..a3f9715fb 100644 --- a/helm/mowgli/home/templates/home.html.bot +++ b/helm/mowgli/home/templates/home.html.bot @@ -17,6 +17,8 @@ This page is hosted by the Department of Computer Science, University of Bologna. +
+ Last update: @DATE@ diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top index 56e225775..3e2efba55 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -29,6 +29,16 @@ +
+
+
+

Warning

+ This site is under construction. Some sections have not been filled yet, some + links might be broken, some content is temporary. Check often for updates. +
+
+
+

Abstract

The World Wide Web is already the largest resource of mathematical diff --git a/helm/mowgli/home/templates/menu.html b/helm/mowgli/home/templates/menu.html index 1c1bdb86c..5af692a9e 100644 --- a/helm/mowgli/home/templates/menu.html +++ b/helm/mowgli/home/templates/menu.html @@ -95,10 +95,12 @@ + diff --git a/helm/mowgli/home/xml/other-events.xml b/helm/mowgli/home/xml/other-events.xml index bb0852870..a0e532818 100644 --- a/helm/mowgli/home/xml/other-events.xml +++ b/helm/mowgli/home/xml/other-events.xml @@ -161,7 +161,7 @@ Paper Submission - 20020303 + 20020403 Speakers Notified