2/3     How do I remove or rename a directory under CVS?
        \_ rm -rf or mv
                \_ doesn't work, cvs root still has the directory
                        \_ Depends on what you rm.
        \_ See the CVS FAQ. It looks like renaming isn't really clean.
        \_ cvs remove dir; then cvs -P update will prune off dir.
             (lesson: always use cvs -Pd, except when you shouldn't)