From 92298db75f3f8d413913dde52865d37dc13d45d2 Mon Sep 17 00:00:00 2001
From: Medath <40150792+Medath@users.noreply.github.com>
Date: Sat, 13 Oct 2018 19:36:40 +0200
Subject: [PATCH] document the copy command

---
 docs/installers.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/installers.rst b/docs/installers.rst
index 4e6ea96c9..5a9322768 100644
--- a/docs/installers.rst
+++ b/docs/installers.rst
@@ -212,7 +212,8 @@ Example:
 Copying and merging directories
 -------------------------------
 
-Both merging and copying actions are done with the ``merge`` directive.
+Both merging and copying actions are done with the ``merge`` or the ``copy`` directive.
+It is not important which of these directives is used because ``copy`` is just an alias for ``merge``.
 Whether the action does a merge or copy depends on the existence of the
 destination directory. When merging into an existing directory, original files
 with the same name as the ones present in the merged directory will be