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