updated to texinfo-5.2