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