src/contrib/texinfo/util
