gcc/texinfo/libtxi
