]> 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 d9b0f95e8f5bc8f31b21c7d44690b244632287a0..296dbf8c9ecb635c3466e2aa91e7e2cb0a921e81 100644 (file)
@@ -11,6 +11,7 @@
 <xsl:param name="path_to_top" select="'.'"/>
 <xsl:param name="current-date"/>
 <xsl:param name="make_header" select="true()"/>
+<xsl:param name="make_footer" select="true()"/>
 <xsl:param name="use_frames" select="'yes'"/>
 
 <!--CSC: The following mess is due to a bug of xsltproc w.r.t. patterns
      </xsl:call-template>
     </xsl:if>
     <xsl:apply-templates select="*[2]/node()"/>
-    <xsl:call-template name="foot">
-     <xsl:with-param name="path_to_top" select="$path_to_top"/>
-    </xsl:call-template>
+    <xsl:if test="$make_footer">
+     <xsl:call-template name="foot">
+      <xsl:with-param name="path_to_top" select="$path_to_top"/>
+     </xsl:call-template>
+    </xsl:if>
    </xsl:variable>
    <xsl:choose>
     <xsl:when test="$use_frames = 'yes'">
  <xsl:copy-of select="$current-date"/>
 </xsl:template>
 
+<xsl:template match="mowgli:change-frame-settings">
+ <br/>
+ <p>
+ <xsl:choose>
+  <xsl:when test="$use_frames = 'yes'">
+   [<a href="../html_no_frames" target="_top">No frames</a>]
+  </xsl:when>
+  <xsl:otherwise>
+   [<a href="{$path_to_top}/../html_yes_frames" target="_top">Frames</a>]
+  </xsl:otherwise>
+ </xsl:choose>
+ </p>
+</xsl:template>
+
 <xsl:template name="a_menu">
  <xsl:copy>
   <xsl:choose>
   <xsl:when test="name(.) = 'a'">
    <xsl:call-template name="a_menu"/>
   </xsl:when>
+  <xsl:when test="name(.) = 'mowgli:change-frame-settings'">
+   <xsl:apply-templates select="."/>
+  </xsl:when>
   <xsl:otherwise>
    <xsl:copy>
     <xsl:apply-templates mode="menu" select="*|text()|@*"/>