From f55cd17459171f1f16631cb9301f9c46a7aaebf4 Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Tue, 19 Feb 2002 16:43:01 +0000 Subject: [PATCH] - renamed some files - added links to the home page - changed news on front page --- helm/mowgli/home/html/.cvsignore | 2 +- helm/mowgli/home/html/Makefile | 12 +++++++----- helm/mowgli/home/templates/home.html.bot | 2 ++ helm/mowgli/home/templates/home.html.top | 19 ++++++++++++++----- ...management.html => project-management.xml} | 7 ++----- ...oject_summary.html => project-summary.xml} | 8 +++----- helm/mowgli/home/xsl/latest-news.xsl | 4 +++- helm/mowgli/home/xsl/news.xsl | 3 ++- 8 files changed, 34 insertions(+), 23 deletions(-) rename helm/mowgli/home/templates/{project-management.html => project-management.xml} (96%) rename helm/mowgli/home/templates/{project_summary.html => project-summary.xml} (92%) diff --git a/helm/mowgli/home/html/.cvsignore b/helm/mowgli/home/html/.cvsignore index 8a53bb955..957e5abd7 100644 --- a/helm/mowgli/home/html/.cvsignore +++ b/helm/mowgli/home/html/.cvsignore @@ -2,7 +2,7 @@ home.html index.html menu.html project-management.html -project_summary.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 0cdc0faae..0112de5de 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -47,7 +47,7 @@ DOCUMENTS = \ home.html \ menu.html \ project-management.html \ - project_summary.html \ + project-summary.html \ consortium.html \ project.html \ news.html \ @@ -149,11 +149,13 @@ software/index.html: $(XMLROOT)/software/index.xml \ menu.html: $(TEMPLATESROOT)/menu.html sed s/\@DATE\@/"`date`"/ $< >$@ -project-management.html: $(TEMPLATESROOT)/project-management.html - cp $< $@ +project-management.html: $(TEMPLATESROOT)/project-management.xml \ + $(XSLROOT)/xhtml-content.xsl + $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $< -project_summary.html: $(TEMPLATESROOT)/project_summary.html - cp $< $@ +project-summary.html: $(TEMPLATESROOT)/project-summary.xml \ + $(XSLROOT)/xhtml-content.xsl + $(XSLTP) --param path_to_top "'.'" -o $@ $(XSLROOT)/xhtml-content.xsl $< people-list.html: $(XSLROOT)/person-entry.xsl $(XSLROOT)/people-list.xsl $(PEOPLE_SOURCE) ( \ diff --git a/helm/mowgli/home/templates/home.html.bot b/helm/mowgli/home/templates/home.html.bot index f4e51f343..e60979863 100644 --- a/helm/mowgli/home/templates/home.html.bot +++ b/helm/mowgli/home/templates/home.html.bot @@ -6,6 +6,8 @@ +
+
diff --git a/helm/mowgli/home/templates/home.html.top b/helm/mowgli/home/templates/home.html.top index cc6605475..062621346 100644 --- a/helm/mowgli/home/templates/home.html.top +++ b/helm/mowgli/home/templates/home.html.top @@ -33,19 +33,28 @@

The World Wide Web is already the largest resource of mathematical knowledge, and its importance will be exponentiated by emerging display - technologies like MathML. However, almost all mathematical documents + technologies like MathML. + However, almost all mathematical documents available on the Web are marked up only for presentation, severely crippling the potentialities for automation, interoperability, sophisticated searching mechanisms, intelligent applications, transformation and processing. The goal of the project is to overcome these limitations, passing form a machine-readable to a machine-understandable representation of the information, and developing - the technological infrastructure for its exploitation. MOWGLI builds on + the technological infrastructure for its exploitation. MoWGLI builds on previous ``standards'' for the management and publishing of mathematical - documents (MathML, OpenMath, OMDoc), integrating them with different XML - technology (XSLT, RDF, ...).

+ documents (MathML, + OpenMath, + OMDoc), + integrating them with different + XML technologies + (XSLT, + RDF, etc).

- Read more... + diff --git a/helm/mowgli/home/templates/project-management.html b/helm/mowgli/home/templates/project-management.xml similarity index 96% rename from helm/mowgli/home/templates/project-management.html rename to helm/mowgli/home/templates/project-management.xml index 6986c9897..a8f57814d 100644 --- a/helm/mowgli/home/templates/project-management.html +++ b/helm/mowgli/home/templates/project-management.xml @@ -1,11 +1,8 @@ - + - +Project Management - -

Project Management

diff --git a/helm/mowgli/home/templates/project_summary.html b/helm/mowgli/home/templates/project-summary.xml similarity index 92% rename from helm/mowgli/home/templates/project_summary.html rename to helm/mowgli/home/templates/project-summary.xml index 1834a868d..e020a4ec2 100644 --- a/helm/mowgli/home/templates/project_summary.html +++ b/helm/mowgli/home/templates/project-summary.xml @@ -1,11 +1,8 @@ - + - +Project Summary - -

Project Summary

@@ -85,3 +82,4 @@ + diff --git a/helm/mowgli/home/xsl/latest-news.xsl b/helm/mowgli/home/xsl/latest-news.xsl index dbbd9f0d2..29ba8003f 100644 --- a/helm/mowgli/home/xsl/latest-news.xsl +++ b/helm/mowgli/home/xsl/latest-news.xsl @@ -9,7 +9,9 @@ - + + + diff --git a/helm/mowgli/home/xsl/news.xsl b/helm/mowgli/home/xsl/news.xsl index 7ce85ac1a..83c531376 100644 --- a/helm/mowgli/home/xsl/news.xsl +++ b/helm/mowgli/home/xsl/news.xsl @@ -30,6 +30,7 @@ +
@@ -41,7 +42,7 @@
- +

-- 2.39.2