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.
This commit is contained in:
Seong-Rak Choi 2011-12-21 13:25:56 +09:00 committed by koichik
parent ef659192a1
commit 892ba87866

View File

@ -31,6 +31,5 @@
var pageTracker = _gat._getTracker("UA-10874194-2");
pageTracker._trackPageview();
} catch(err) {}</script>
<script>highlight(undefined, undefined, 'pre');</script>
</body>
</html>