Peter T Mount <peter(at)retep(dot)org(dot)uk> writes:
> Quoting Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>:
>> Did you use -P during the checkout?
> No, but then the last time I did this (about a month ago) I didn't then either.
That's why it reappeared, then.
> As I just said to Marc, I remember the directory being deleted on the server
> side after I had done a cvs delete.
CVS *never* deletes a server-side directory. Read the manual.
I don't know why -P isn't the standard behavior, because the default
(non -P) is confusing and almost never what you want. I keep this in
my ~/.cvsrc:
cvs -z3
update -d -P
checkout -P
regards, tom lane