diff --git a/doc/pages/Manual.md b/doc/pages/Manual.md
index de894200b13..211e70cd85f 100644
--- a/doc/pages/Manual.md
+++ b/doc/pages/Manual.md
@@ -512,9 +512,11 @@ the package being defined.
resolved direct dependencies of the package
- `installed`:
whether the package is installed
-- `enable`:
- takes the value "enable" or "disable" depending on whether the package is
- installed
+- `enable`: is not a variable.
+ It takes the value "enable" or "disable" depending on whether the package is
+ installed. Used with the combination operator `+`,
+ `name1+name2+name3:enable` is syntactic sugar for
+ `name1+name2+name3:installed?enable:disable`.
- `pinned`: whether the package is pinned
- `bin`, `sbin`, `lib`, `man`, `doc`, `share`, `etc`:
the corresponding directories for this package (similar to
diff --git a/master_changes.md b/master_changes.md
index 2efe7e53f99..4e25a520683 100644
--- a/master_changes.md
+++ b/master_changes.md
@@ -149,6 +149,7 @@ users)
* Fix a typo in the default man page [#6267 @fccm2]
* Point users to ways to override the default opam root location in the opam init manpage [#6251 @kit-ty-kate]
* Manual: Document the stamp field from repo files [#6306 @kit-ty-kate]
+ * Clarify documentation for `enable` pseudo-variable [#5659 @gridbugs]
## Security fixes