diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2022-07-29 12:02:05 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-29 12:02:05 +0000 |
commit | a37c393ba49598eaa6d4199fc6e23c8625ca50c7 (patch) | |
tree | d2b29e33dbdbe13e5483d43c57796b1da6ce149a /doc | |
parent | dc9426f3b8dcb8c33ddd38a0552aee47005f311c (diff) | |
parent | e3f7593e9b7398d671b51f7c39788749aba58a5b (diff) |
Merge staging-next into staging
Diffstat (limited to 'doc')
-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 e4b33e66ee4d..8b413dcd337a 100644 --- a/doc/doc-support/parameters.xml +++ b/doc/doc-support/parameters.xml @@ -11,4 +11,5 @@ <xsl:param name="toc.section.depth" select="0" /> <xsl:param name="admon.style" select="''" /> <xsl:param name="callout.graphics.extension" select="'.svg'" /> + <xsl:param name="generate.consistent.ids" select="1" /> </xsl:stylesheet> |