egcs/texinfo/libtxi
