add texinfo version info