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`