diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/manual/style/xsl/common.xsl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/style/xsl/common.xsl b/docs/manual/style/xsl/common.xsl index 29c23dc7f2..d68f7f92da 100644 --- a/docs/manual/style/xsl/common.xsl +++ b/docs/manual/style/xsl/common.xsl @@ -173,7 +173,7 @@ rel="stylesheet" href="{$path}/style/css/manual-print.css"/> <link href="{$path}/style/css/prettify.css" type="text/css" rel="stylesheet" />&lf; - <script type="text/javascript" src="{$path}/style/scripts/prettify.js">&lf;</script>&lf; + <script type="text/javascript" src="{$path}/style/scripts/prettify.min.js">&lf;</script>&lf; <!-- chm files do not need a favicon --> <xsl:if test="not($is-chm or $is-zip)">&lf; <link rel="shortcut icon" href="{$path}/images/favicon.ico" /> |