Don't make texinfo (#4)