Set release date
Re-generate HTML manual