[cvsnt] Renaming a file problem (case sensitive)

[Olaf Groeger]

Hi,
i'm looking for a way to rename a file concerning upper and lower letter, 
for instance from Foo.txt to foo.txt.
What i tried is to remove the file from cvs and re-add it with the new name. 
This works for my sandbox. In the repository the file is now foo.txt,v. But 
if i perform an update to another sandbox the old filename Foo.txt is kept, 
probably because the files name is still Foo.txt in the CVS/Entries file of 
this sandbox. So currently the only way i see is to execute a checkout of 
the foo.txt directory, isn't it ?

yours Olaf

P.S.: Background is to rename a jsp file to satisfy JBoss/Tomcat