diff options
Diffstat (limited to 'doc/doc-support/parameters.xml')
-rw-r--r-- | doc/doc-support/parameters.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/doc-support/parameters.xml b/doc/doc-support/parameters.xml index 50ff25fe10750..5b39d2f7f1a58 100644 --- a/doc/doc-support/parameters.xml +++ b/doc/doc-support/parameters.xml @@ -11,6 +11,7 @@ <xsl:param name="html.script" select="'./highlightjs/highlight.pack.js ./highlightjs/loader.js'" /> <xsl:param name="xref.with.number.and.title" select="0" /> <xsl:param name="use.id.as.filename" select="1" /> + <xsl:param name="generate.section.toc.level" select="1" /> <xsl:param name="toc.section.depth" select="0" /> <xsl:param name="admon.style" select="''" /> <xsl:param name="callout.graphics.extension" select="'.svg'" /> |