]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/work-package.xsl
- main page now generated automatically
[helm.git] / helm / mowgli / home / xsl / work-package.xsl
index 0e4eb84e3f214d2d30d1c3d09e4c8985293fcc8c..b013b880812c2c3812d6fe06ffe20a894f73001f 100644 (file)
    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
   </head>
   <body>
-   <xsl:apply-templates/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
+    <xsl:apply-templates/>
+    <xsl:call-template name="foot">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
   </body>
  </html>
 </xsl:template>
     <xsl:choose>
      <xsl:when test="@file">
       <a href="../deliverables/{@file}.html">
-       <xsl:value-of select="@file"/>
+       <xsl:variable name="deliverable"
+                     select="document(concat('../xml/deliverables/',@file,'.xml'))/deliverable"/>
+       <xsl:value-of select="$deliverable/@id"/>
+       <xsl:text> </xsl:text>
+       <xsl:value-of select="$deliverable/name"/>
       </a>
      </xsl:when>
      <xsl:otherwise>