]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/site.xsl
Bug fixed: the top directory has a different (relative) path depending on
[helm.git] / helm / mowgli / home / xsl / site.xsl
index 9aa0ecd2fc6716b6cb13a75b9d172e3ff0d8fc20..1046a8f055da48c0b522db5989ac1afb14ed3247 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>