diff --git a/master_changes.md b/master_changes.md index e9c81897d77..64d2b77cc2e 100644 --- a/master_changes.md +++ b/master_changes.md @@ -152,6 +152,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] + * Fix typo in pin edit man page doc [#6315 @shym] * Clarify documentation for `enable` pseudo-variable [#5659 @gridbugs] ## Security fixes diff --git a/src/client/opamCommands.ml b/src/client/opamCommands.ml index 136814d7f90..1d1266926fe 100644 --- a/src/client/opamCommands.ml +++ b/src/client/opamCommands.ml @@ -3232,7 +3232,7 @@ let pin ?(unpin_only=false) cli = its version and source URL. Using the format $(i,NAME.VERSION) will \ update the version in the opam file in advance of editing, without \ changing the actual target. The chosen editor is determined from \ - environment variables $(b,OPAM_EDITOR), $(b,VISUAL) or $(b,EDITOR), in \ + environment variables $(b,OPAMEDITOR), $(b,VISUAL) or $(b,EDITOR), in \ order."; ] in let man = [