gcc/texinfo/util
