Skip to content

Commit

Permalink
man: fix typo from unnecessary $ (#3703)
Browse files Browse the repository at this point in the history
  • Loading branch information
rjbou committed Dec 18, 2018
1 parent 1109a14 commit c13d2d0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/client/opamArg.ml
Expand Up @@ -979,7 +979,7 @@ let global_options =
"Don't fail if all requested packages can't be installed: try to install \
as many as possible. Note that not all external solvers may support \
this option (recent versions of $(i,aspcud) or $(i,mccs) should). This \
is equivalent to setting $($b,\\$OPAMBESTEFFORT) environment variable."
is equivalent to setting $(b,\\$OPAMBESTEFFORT) environment variable."
in
let safe_mode =
mk_flag ~section ["readonly"; "safe"]
Expand Down

0 comments on commit c13d2d0

Please sign in to comment.