]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/deliverable.xsl
Bug fixed: the top directory has a different (relative) path depending on
[helm.git] / helm / mowgli / home / xsl / deliverable.xsl
index 221ec922e22a6d666ad5ae3745f6c92b1f59ebde..acd3d732349276025c14c4b56ccf0e215e3730bd 100644 (file)
@@ -20,7 +20,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>