diff options
| author | Seong-Rak Choi <ragiragi@hanmail.net> | 2011-12-21 08:25:56 +0400 |
|---|---|---|
| committer | koichik <koichik@improvement.jp> | 2011-12-22 12:32:21 +0400 |
| commit | 892ba87866b8b86e0cb2e2a5987bd37940c5f0de (patch) | |
| tree | d71ca5ee05b6242cbae7d7612bc696cc2d6264f5 /doc | |
| parent | ef659192a14fcd521801d33374b4feaf5dfaf105 (diff) | |
docs: fix javascript error on document page
`highlight()` is called twice. It causes following javascript error.
> Uncaught Found <pre> element with class="sh_sourcecode",
> but no such language exists
Fixes #2393.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/template.html | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/template.html b/doc/template.html index cb3c99c4fba..0f65b366f12 100644 --- a/doc/template.html +++ b/doc/template.html @@ -31,6 +31,5 @@ var pageTracker = _gat._getTracker("UA-10874194-2"); pageTracker._trackPageview(); } catch(err) {}</script> - <script>highlight(undefined, undefined, 'pre');</script> </body> </html> |