renaming cvs files

I want to start de-versioning our filenames (for example php4isapi.c to php_isapi.c) and project files (dsp files on win), and change built files to php5xxx where apropriate. I would do it using: $ mv old new $ cvs remove old $ cvs add new $ cvs commit -m "Renamed old to new" -r x.x old new (-r to keep the revision numbers +.1) And then of course update the make and dsp files. If noone has any issue with that, I'll start doing it tomorrow night or monday night. Of course if someone else feels inclined to do it sooner, I wouldn't mind. I don't build everything, so other people would need to build/test some of the changes. Shane