- fix building info docs with texinfo 5