texinfo-7.patch
texinfo-7.1.patch
