]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/common.xsl
Bug fixed: the top directory has a different (relative) path depending on
[helm.git] / helm / mowgli / home / xsl / common.xsl
index da0c1b01a1d33f722a7ade5038ff5a310e355f3c..1810935bff85a56776d311556c2e86d3f327d3dd 100644 (file)
@@ -4,9 +4,10 @@
                 xmlns:xsl="http://www.w3.org/1999/XSL/Transform">
 
 <xsl:template name="head">
+  <xsl:param name="path_to_top" select="'.'"/>
   <div class="right">
    <div class="small">
-    <a href="home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
+    <a href="{$path_to_top}/home.html">MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces</a>
    </div>
   </div>
   <hr/>