rmdir(2) on Linux

The text 3ff6c7c0caaa, as Debian 2.2 (Potato) shipped it.

delete a directory

rmdir(2) on Linux now