add texinfo to the bootstrap code