Fixing bug where toc.title.p and nodes params had not been declared inside manual...

diff --git a/xsl/html/autotoc.xsl b/xsl/html/autotoc.xsl
index 83e8a1f3c12a2c9415fb6d37d16e5dfb65197611..33635dad41d5d8d063652968c21f165b09684d5a 100644 (file)
--- a/xsl/html/autotoc.xsl
+++ b/xsl/html/autotoc.xsl
@@ -614,6 +614,8 @@
 <xsl:template name="manual-toc">
   <xsl:param name="toc-context" select="."/>
   <xsl:param name="tocentry"/>
+  <xsl:param name="toc.title.p" select="true()"/>
+  <xsl:param name="nodes" select="/NOT-AN-ELEMENT"/>
 
   <!-- be careful, we don't want to change the current document to the other tree! -->