rmdir(2) on Linux

The text caaddafe3c5b, as Debian 1.3 (Bo) shipped it.

delete a directory

rmdir(2) on Linux now