src/contrib/texinfo
