Re: [PATCH?] File deletion

[Robert Spier]

Bryan C. Warnock writes:
>How does one patch a file to delete?
>
>docs/a5_draft.html can go away now, thank you for playing.

rm <file>
cvs delete <file>
cvs commit