]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xsl/xhtml-content.xsl
templates/menu.html moved to xml/menu.xml
[helm.git] / helm / mowgli / home / xsl / xhtml-content.xsl
index 128c1de03ae3bbceef9a783babf6279154d4421d..d9b0f95e8f5bc8f31b21c7d44690b244632287a0 100644 (file)
@@ -45,7 +45,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">