Update HTML manual with current page set.