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