]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/xhtml-content.xsl
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xsl / xhtml-content.xsl
index ff869b216273b34deebe48ebfc332de3a948bcef..296dbf8c9ecb635c3466e2aa91e7e2cb0a921e81 100644 (file)
  <p>
  <xsl:choose>
   <xsl:when test="$use_frames = 'yes'">
-   <a href="../html_no_frames" target="_top">Version without frames</a>
+   [<a href="../html_no_frames" target="_top">No frames</a>]
   </xsl:when>
   <xsl:otherwise>
-   <a href="../html_yes_frames" target="_top">Version with frames</a>
+   [<a href="{$path_to_top}/../html_yes_frames" target="_top">Frames</a>]
   </xsl:otherwise>
  </xsl:choose>
  </p>