This step builds the info manual from the org file.