This is why people should use docbook. see http://www.docbook.org/. If these docs were generated with docbook in the first place this wouldn't be such an awful thankless task.