JuliaLang/julia — pull request #2435 by wlbksy (2013-03-01 10:39:01+00:00)
Title: modify the url in the sidebox

modify the url in the sidebox,
such that the url with literal `Table Of Contents` does link to
the index page of `doc/manual`, instead of the index page of `doc`