>>799
rmコマンドでdistfiles以下を全部削除しても、
make distcleanと違って、/usr/ports以下のワークディレクトリの掃除はされないんだが、
それでもかまわない?