X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxsl%2Fxhtml-content.xsl;h=296dbf8c9ecb635c3466e2aa91e7e2cb0a921e81;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=128c1de03ae3bbceef9a783babf6279154d4421d;hpb=be56394cb6821b40d444a62e6139ca3719bdb59a;p=helm.git

diff --git a/helm/mowgli/home/xsl/xhtml-content.xsl b/helm/mowgli/home/xsl/xhtml-content.xsl
index 128c1de03..296dbf8c9 100644
--- a/helm/mowgli/home/xsl/xhtml-content.xsl
+++ b/helm/mowgli/home/xsl/xhtml-content.xsl
@@ -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
@@ -33,9 +34,11 @@
      </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'">
@@ -45,7 +48,7 @@
      <table>
       <tr>
        <td nowrap="true" valign="top">
-        <xsl:apply-templates mode="menu" select="document('../templates/menu.xml')/*/*[2]/*"/>
+        <xsl:apply-templates mode="menu" select="document('../xml/menu.xml')/*/*[2]/*"/>
        </td>
        <td width="5%">&#x0A0;</td>
        <td valign="top">
@@ -84,6 +87,20 @@
  <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>
@@ -109,6 +126,9 @@
   <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()|@*"/>