From bcb600ecc4d4df0e2ec338c000fb8b32e663cb5f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Zlatan=20Vasovi=C4=87?= Date: Wed, 8 Jul 2020 15:15:57 +0200 Subject: [PATCH] rmdir: fix description (#4163) --- pages/common/rmdir.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/common/rmdir.md b/pages/common/rmdir.md index 28c3e32e52..a9c6ddc3a7 100644 --- a/pages/common/rmdir.md +++ b/pages/common/rmdir.md @@ -2,7 +2,7 @@ > Removes a directory. -- Remove directory, provided it is empty. Use `rm` to remove not empty directories: +- Remove directory, provided it is empty. Use `rm -r` to remove non-empty directories: `rmdir {{path/to/directory}}`