texinfo-4.7-r1
