CVSで、ディレクトリを削除するにはどうするの？
cvs remove directory-name としても、削除されないんだけど。
手動で削除すると、今度はcvs infoのときに「directory-nameがない」というエラーになるし。