amend index.html for the correct manual names