diff --git a/docs/manual/CoreTasks/mkdir.html b/docs/manual/CoreTasks/mkdir.html index 853dd9d60..5d945c0f1 100644 --- a/docs/manual/CoreTasks/mkdir.html +++ b/docs/manual/CoreTasks/mkdir.html @@ -27,7 +27,7 @@
Creates a directory. Also non-existent parent directories are created, when -necessary.
+necessary. Does nothing if the directory already exist.