Update the manual.