This directory is no longer used.
If cvs allowed directories to be deleted, we would do so;
but it does not.
