Update date and version of the manual.