From ef686f972daf229574b6008c40355b8f857ead19 Mon Sep 17 00:00:00 2001 From: Dimitri Sitchet Tomkeu <37987162+dimtrovich@users.noreply.github.com> Date: Mon, 18 Nov 2024 19:59:17 +0100 Subject: [PATCH] Update user_guide_src/source/libraries/publisher.rst Co-authored-by: Michal Sniatala --- user_guide_src/source/libraries/publisher.rst | 2 ++ 1 file changed, 2 insertions(+) diff --git a/user_guide_src/source/libraries/publisher.rst b/user_guide_src/source/libraries/publisher.rst index 170d42cb3840..69b5df6c9f0c 100644 --- a/user_guide_src/source/libraries/publisher.rst +++ b/user_guide_src/source/libraries/publisher.rst @@ -75,6 +75,8 @@ Most of the time you will not need to handle your own discovery, just use the pr By default on your class extension ``publish()`` will add all files from your ``$source`` and merge them out to your destination, overwriting on collision. +.. _discovery-in-a-specific-namespace: + Discovery in a specific namespace ---------------------------------