It doesn't make sense to keep regenerating these in CVS. They are