Import GNU texinfo