]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xsl/work-packages_index.xsl
The Work-Packages index page is no more a static HTML page, but it is
[helm.git] / helm / mowgli / home / xsl / work-packages_index.xsl
1 <?xml version="1.0"?>
2
3 <xsl:stylesheet version="1.0"
4                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
5
6 <xsl:import href="common.xsl"/>
7
8 <xsl:output method="html"/>
9
10 <xsl:template match="/">
11  <html>
12   <head>
13    <title>Work Packages</title>
14    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" />
15    <link rel="stylesheet" href="../../style/mowgli.css" type="text/css"/>
16   </head>
17   <body>
18    <xsl:apply-templates/>
19   </body>
20  </html>
21 </xsl:template>
22
23 <xsl:template match="work-packages">
24  <h1>Work Packages</h1>
25  <ol>
26   <xsl:apply-templates/>
27  </ol>
28 </xsl:template>
29
30 <xsl:template match="work-package">
31  <xsl:variable name="work-package"
32                select="document(concat('../xml/work-packages/',@file,'.xml'))/work-package"/>
33  <li value="{$work-package/@number + 1}">
34   <a href="{@file}.html">
35    <xsl:value-of select="@file"/>
36   </a>
37  </li>
38 </xsl:template>
39
40 </xsl:stylesheet>