Update manual and version numbers.