Updated Ubuntu repositories in manuals.