How do I rename a file in a CVS repository?

$ mv OldFileName NewFileName $ cvs remove OldFileName $ cvs add NewFileName $ cvs commit -m "renaming OldFileName to NewFileName"