egcs/texinfo/lib
