| > That directory was explicitly removed from the CVS tree, because it | > was empty and created name conflics with the one called Images on | > non-case-senstivie platforms. | > | > I guess you would have to remove your local directory images, perhaps | > physically from the CVS/* files as well. | | CVS update doesn't create or delete directories by default; you need | to specify some options: | | cvs up -dP | | will delete local copies of any deleted directories at the repository | (-P) and create any directories newly created at the repository (-d). | You can make this default behaviour by adding this line to ~/.cvsrc: | | update -dP
Yeah, I know. I did that several times before posting the message. Later in the day the same command worked fine and I assumed someone did something to fix it. Or maybe my box was afflicted by some random cosmic ray. All is OK now.
Thanks, Paul