Re: rmdir deletes also non-empty directories
Well, it says that you should not rely on
rmdir
to remove non-empty dirs. But it does not say that it never does.