Updating operative system versions in manuals