From 47d1f74ef0c66161dc85099c9e272f39027ba7f9 Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jeremie@dimino.org>
Date: Sun, 10 Sep 2017 02:39:34 +0100
Subject: [PATCH] Explain the difference between copy_files and copy_files#

---
 doc/jbuild.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/jbuild.rst b/doc/jbuild.rst
index 66547fa7..ef2fad68 100644
--- a/doc/jbuild.rst
+++ b/doc/jbuild.rst
@@ -527,6 +527,10 @@ The syntax is as follows:
 ``<glob>`` represents the set of files to copy, see the :ref:`glob
 <glob>` for details.
 
+The difference between ``copy_files`` and ``copy_files#`` is the same
+as the difference between the ``copy`` and ``copy#`` action. See the
+`User actions`_ section for more details.
+
 Common items
 ============