tweak the manual file.