texinfo-7.patch
