fix manual/index.html