Deleted texinfo generated files