Remove generated texinfo from repository