diff options
| -rw-r--r-- | docs/html-to-website-xml.xsl | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/html-to-website-xml.xsl b/docs/html-to-website-xml.xsl index b6117bc7ae..8ad3ea636c 100644 --- a/docs/html-to-website-xml.xsl +++ b/docs/html-to-website-xml.xsl @@ -63,6 +63,12 @@ </pre> </xsl:template> +<xsl:template match="code[@class='option']"> + [<code class="option"> + <xsl:apply-templates select="node()"/> + </code>] +</xsl:template> + </xsl:stylesheet> |