Update version number of the manual.