From c13d2d0b2e0e782b2fe3f0d4ba4c7c54251712ba Mon Sep 17 00:00:00 2001 From: "R. Boujbel" Date: Mon, 17 Dec 2018 11:38:18 +0100 Subject: [PATCH] man: fix typo from unnecessary $ (#3703) --- src/client/opamArg.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/client/opamArg.ml b/src/client/opamArg.ml index f221211bbdd..0c8518491a6 100644 --- a/src/client/opamArg.ml +++ b/src/client/opamArg.ml @@ -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"]