Depend on texinfo; don't delete info files