diff --git a/Config.in b/Config.in
index 12d36b5c83..2b401cb8a2 100644
--- a/Config.in
+++ b/Config.in
@@ -493,4 +493,9 @@ source "package/Config.in.host"
 
 source "Config.in.legacy"
 
+menu "User-provided options"
+	depends on BR2_EXTERNAL != "support/dummy-external"
+
 source "$BR2_EXTERNAL/Config.in"
+
+endmenu
diff --git a/docs/manual/customize-outside-br.txt b/docs/manual/customize-outside-br.txt
index 0aabf5a9b5..19257e690e 100644
--- a/docs/manual/customize-outside-br.txt
+++ b/docs/manual/customize-outside-br.txt
@@ -89,12 +89,8 @@ The main usage of this is to store package recipes. The recommended
    like:
 +
 ------
-menu "<somecompany> packages"
-
 source "$BR2_EXTERNAL/package/package1/Config.in"
 source "$BR2_EXTERNAL/package/package2/Config.in"
-
-endmenu
 ------
 +
 Then, have a +BR2_EXTERNAL/external.mk+ file that looks like: