Update html manual.