Doc: update internal build.info manual