]> matita.cs.unibo.it Git - helm.git/commitdiff
- added publication index
authorLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 19 Feb 2002 00:22:26 +0000 (00:22 +0000)
- added software index
- added member area

helm/mowgli/home/html/Makefile
helm/mowgli/home/templates/menu.html
helm/mowgli/home/xml/publications/index.xml [new file with mode: 0644]
helm/mowgli/home/xml/software/index.xml [new file with mode: 0644]
helm/mowgli/home/xsl/publications-index.xsl [new file with mode: 0644]
helm/mowgli/home/xsl/xhtml-content.xsl [new file with mode: 0644]

index 6f93e4415c3e222df79844547375ddcdb2301551..0758a9240ac62c1db0241148073bee4e05284a56 100644 (file)
@@ -84,12 +84,15 @@ DOCUMENTS = \
             deliverables/transformation/d2f.html \
             deliverables/transformation/d2g.html \
             members/index.html \
+           members/ml-help-example.txt \
+           software/index.html \
             sites/aei.html \
             sites/bologna.html \
             sites/dfki.html \
             sites/inria.html \
             sites/nijmegen.html \
             sites/trusted-logic.html \
+           publications/index.html \
             publications/mowgli/index.html \
             publications/others/category_al.html \
             publications/others/crimea2001_apss.html \
@@ -133,9 +136,17 @@ home.html: $(TEMPLATESROOT)/home.html.top $(TEMPLATESROOT)/home.html.bot \
 index.html: $(TEMPLATESROOT)/index.html
        cp $< $@
 
-members/index.html: $(TEMPLATESROOT)/nothing_yet.html
+members/ml-help-example.txt: $(TEMPLATESROOT)/ml-help-example.txt
        cp $< $@
 
+members/index.html: $(XMLROOT)/members-index.xml \
+       $(XSLROOT)/xhtml-content.xsl
+       $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
+
+software/index.html: $(XMLROOT)/software/index.xml \
+       $(XSLROOT)/xhtml-content.xsl
+       $(XSLTP) --param path_to_top "'..'" -o $@ $(XSLROOT)/xhtml-content.xsl $<
+
 publications/mowgli/index.html: $(TEMPLATESROOT)/nothing_yet2.html
        cp $< $@
 
@@ -201,6 +212,10 @@ people/%.html: $(XMLROOT)/people/%.xml \
               $(XSLROOT)/person.xsl
        $(XSLTP) -o $@ $(XSLROOT)/person.xsl $<
 
+publications/index.html: $(XMLROOT)/publications/index.xml \
+       $(XSLROOT)/publications-index.xsl
+       $(XSLTP) -o $@ $(XSLROOT)/publications-index.xsl $<
+
 publications/%.html: $(XMLROOT)/publications/%.xml \
               $(XSLROOT)/publication.xsl
        $(XSLTP) -o $@ $(XSLROOT)/publication.xsl $<
index 98caba63c0790551b829fb53d565b6bf64397b5a..ff76559a882ca920c2d0496689a0178028dae664 100644 (file)
       <tr><td><a class="menulink" target="content" href="work-packages/index.html">Work Packages</a></td></tr>
       <tr><td><a class="menulink" target="content" href="events.html">Events</a></td></tr>
       <tr><td><a class="menulink" target="content" href="news.html">News Archive</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="members">Members Area</a></td></tr>
-      <tr><td><a class="menulink" target="content" href="publications/mowgli">Publications</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="members/index.html">Members Area</a></td></tr>
+      <tr><td><a class="menulink" target="content" href="publications/index.html">Publications</a></td></tr>
       <!-- Next links are there just to retrieve a "Nothing Yet" page -->
-      <tr><td><a class="menulink" target="content" href="publications/mowgli">Software</a> (<a class="menulink" target="content" href="publications/mowgli">CVS</a>)</td></tr>
+      <tr><td><a class="menulink" target="content" href="software/index.html">Software</a> (<a class="menulink" target="content" href="???">CVS</a>)</td></tr>
       </table>
     </td>
   </tr>
diff --git a/helm/mowgli/home/xml/publications/index.xml b/helm/mowgli/home/xml/publications/index.xml
new file mode 100644 (file)
index 0000000..079c293
--- /dev/null
@@ -0,0 +1,31 @@
+<?xml version="1.0"?>
+
+<!DOCTYPE publications [
+ <!ELEMENT publications (project,related)>
+ <!ELEMENT project (entry*)>
+ <!ELEMENT related (entry*)>
+ <!ELEMENT entry EMPTY>
+ <!ATTLIST entry file CDATA #REQUIRED>
+]>
+
+<publications>
+  <project>
+  </project>
+  <related>
+    <entry file="cup_s2"/>
+    <entry file="jep_wwsw"/>
+    <entry file="category_al"/>
+    <entry file="extreme2001_apss"/>
+    <entry file="jlp2001_scg"/>
+    <entry file="tcs2001_og"/>
+    <entry file="crimea2001_apss"/>
+    <entry file="har_bg"/>
+    <entry file="mathml2000_apss"/>
+    <entry file="tphols2000_gwz"/>
+    <entry file="cup_s"/>
+    <entry file="jep_ws"/>
+    <entry file="mscs_gb"/>
+    <entry file="tphols2001_apss"/>
+  </related>
+</publications>
+
diff --git a/helm/mowgli/home/xml/software/index.xml b/helm/mowgli/home/xml/software/index.xml
new file mode 100644 (file)
index 0000000..e6e52d6
--- /dev/null
@@ -0,0 +1,11 @@
+<?xml version="1.0"?>
+
+<content title="Members Area">
+  <h1>Software</h1>
+
+  Nothing has been released yet. Try later.
+
+  <br/><br/>
+
+</content>
+
diff --git a/helm/mowgli/home/xsl/publications-index.xsl b/helm/mowgli/home/xsl/publications-index.xsl
new file mode 100644 (file)
index 0000000..4132b59
--- /dev/null
@@ -0,0 +1,91 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:import href="common.xsl"/>
+
+<xsl:output method="html"/>
+
+<xsl:template match="publications">
+ <html>
+  <head>
+   <title>List of Publications</title>
+   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+   <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
+  </head>
+  <body>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
+    <h1>Publications</h1>
+    <h2>About MoWGLI</h2>
+    <xsl:apply-templates select="project"/>
+    <h2>Related Publications</h2>
+    <xsl:apply-templates select="related"/>
+    <xsl:call-template name="foot">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
+  </body>
+ </html>
+</xsl:template>
+
+<xsl:template match="project">
+  <xsl:choose>
+    <xsl:when test="entry">
+      <ul>
+        <xsl:apply-templates select="entry">
+         <xsl:with-param name="section" select="'mowgli'"/>
+       </xsl:apply-templates>
+      </ul>
+    </xsl:when>
+    <xsl:otherwise>
+      None.
+    </xsl:otherwise>
+  </xsl:choose>
+</xsl:template>
+
+<xsl:template match="related">
+  <xsl:choose>
+    <xsl:when test="entry">
+      <ul>
+        <xsl:apply-templates select="entry">
+         <xsl:with-param name="section" select="'others'"/>
+       </xsl:apply-templates>
+      </ul>
+    </xsl:when>
+    <xsl:otherwise>
+      None.
+    </xsl:otherwise>
+  </xsl:choose>
+</xsl:template>
+
+<xsl:template match="entry">
+ <xsl:param name="section" select="''"/>
+ <xsl:variable name="file" select="document(concat('../xml/publications/',$section,'/',@file,'.xml'))/publication"/>
+ <li>
+  <xsl:apply-templates select="$file/author"/>,
+  <a href="{$section}/{@file}.html">
+   <xsl:text>``</xsl:text>
+   <xsl:value-of select="$file/title"/>
+   <xsl:text>''</xsl:text>
+  </a>
+ </li>
+</xsl:template>
+
+<xsl:template match="author">
+ <xsl:choose>
+  <xsl:when test="@file">
+   <xsl:call-template name="person-name">
+    <xsl:with-param name="file" select="@file"/>
+   </xsl:call-template>
+  </xsl:when>
+  <xsl:otherwise>
+   <xsl:value-of select="surname"/>, <xsl:value-of select="name"/>
+  </xsl:otherwise>
+ </xsl:choose>
+ <xsl:if test="position() &lt; last()">, </xsl:if>
+</xsl:template>
+
+</xsl:stylesheet>
+
diff --git a/helm/mowgli/home/xsl/xhtml-content.xsl b/helm/mowgli/home/xsl/xhtml-content.xsl
new file mode 100644 (file)
index 0000000..1830cd8
--- /dev/null
@@ -0,0 +1,32 @@
+<?xml version="1.0"?>
+
+<xsl:stylesheet version="1.0"
+                xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
+
+<xsl:import href="common.xsl"/>
+
+<xsl:output method="html"/>
+
+<xsl:param name="path_to_top" select="'.'"/>
+
+<xsl:template match="content">
+ <html>
+  <head>
+   <title><xsl:value-of select="@title"/></title>
+   <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
+   <link rel="stylesheet" href="{$path_to_top}/../style/mowgli.css" type="text/css"/>
+  </head>
+  <body>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="$path_to_top"/>
+    </xsl:call-template>
+    <xsl:copy-of select="node()"/>
+    <xsl:call-template name="foot">
+     <xsl:with-param name="path_to_top" select="$path_to_top"/>
+    </xsl:call-template>
+  </body>
+ </html>
+</xsl:template>
+
+</xsl:stylesheet>
+