src/contrib/texinfo/lib
