Also delete manual-page.tmp.html