docs: fix javascript error on document page
authorSeong-Rak Choi <ragiragi@hanmail.net>
Wed, 21 Dec 2011 04:25:56 +0000 (13:25 +0900)
committerkoichik <koichik@improvement.jp>
Thu, 22 Dec 2011 08:32:21 +0000 (17:32 +0900)
commit892ba87866b8b86e0cb2e2a5987bd37940c5f0de
treed71ca5ee05b6242cbae7d7612bc696cc2d6264f5
parentef659192a14fcd521801d33374b4feaf5dfaf105
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.
doc/template.html