texinfo: rebuild with texinfo