> > After a bit of self-education on the CVS FAQ, I've come to the> conclusion that "renaming" (delete/add) PLATFORMS to PLATFORMS.txt is > the best way to solve this.
Better it get fixed in CVS. There could be more errors of this kind.
Confused. What would you like me to do?
Can you delete the directory entirely from CVS?
Also.
cvs update -dP should work just fine for this.
at least it does for me. Unless -P doesn't work properly on case-insensitive filesystems.
It doesn't work properly for this in case-insensitive file systems. It tries doing directory things with platforms, which is at that point PLATFORMS, which isn't at all a directory, and CVS dies with a "platforms not a directory" error.
--
Dan
--------------------------------------"it's like this"-------------------
Dan Sugalski even samurai
[EMAIL PROTECTED] have teddy bears and even
teddy bears get drunk
