diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/manual/style/xsl/common.xsl | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/docs/manual/style/xsl/common.xsl b/docs/manual/style/xsl/common.xsl index 536db3a248..7d29489fe2 100644 --- a/docs/manual/style/xsl/common.xsl +++ b/docs/manual/style/xsl/common.xsl @@ -313,11 +313,12 @@ </div> <!-- /footer --> -<script type="text/javascript"><![CDATA[ - if (typeof(prettyPrint) !== undefined) { - prettyPrint(); - } -]]></script> +<script type="text/javascript"> +<xsl:text disable-output-escaping="yes"><![CDATA[<!--//--><![CDATA[//><!--]]></xsl:text><![CDATA[ +if (typeof(prettyPrint) !== undefined) { + prettyPrint(); +} +]]><xsl:text disable-output-escaping="yes"><![CDATA[//--><!]]]]>></xsl:text></script> </xsl:template> <!-- /bottom --> |