add texinfo for install