diff options
author | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2017-05-13 22:40:16 +0200 |
---|---|---|
committer | Raphael Manfredi <Raphael_Manfredi@pobox.com> | 2017-05-13 22:40:16 +0200 |
commit | 34e69dc68c71a9aa06e0c7da6a19010b4a67136c (patch) | |
tree | a087e0746e67ba68c7eb7b1a9d40e1d3248ff3b5 | |
parent | 027445a78b8cf92ffaf9233c5e271a776475a5c1 (diff) |
Forgot to escape '$' in manual page...
-rwxr-xr-x | mcon/man/mlint.SH | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mcon/man/mlint.SH b/mcon/man/mlint.SH index 9ce0476..691291d 100755 --- a/mcon/man/mlint.SH +++ b/mcon/man/mlint.SH @@ -145,8 +145,8 @@ initially wanted... "(?MAKE) pick needs a command argument." There is no command name after the special "pick" directive, which is invalid. .TP -"(?MAKE) third pick argument must be $@. -The third argument to the special "pick" directive must be $@, litterally. +"(?MAKE) third pick argument must be \$@. +The third argument to the special "pick" directive must be \$@, litterally. .TP "(?MAKE) unknown pick command 'xxx'. The command argument listed for the special "pick" directive is unknown. |