]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/work-package.xsl
Bug fixed: the top directory has a different (relative) path depending on
[helm.git] / helm / mowgli / home / xsl / work-package.xsl
index 50cfff2682699ee7b4d7397b4f7b5428f5b4d7ba..bb0751d332bc3d96d6cb24a00e37a8a1e07a0248 100644 (file)
@@ -21,7 +21,9 @@
   </head>
   <body>
    <blockquote>
-    <xsl:call-template name="head"/>
+    <xsl:call-template name="head">
+     <xsl:with-param name="path_to_top" select="'..'"/>
+    </xsl:call-template>
     <xsl:apply-templates/>
     <xsl:call-template name="foot"/>
    </blockquote>