diff options
| author | Timothee Cour <timothee.cour2@gmail.com> | 2021-05-26 00:51:48 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-26 09:51:48 +0200 |
| commit | 3b1aabdcffafbbf37ad02f013f754f67dfe2461c (patch) | |
| tree | 9f676eb0fede03899179840249bfe58003a80e6e /doc/nimc.rst | |
| parent | 0b2bbcaa23f91b06bc06dd2cf35d4d26a6d24aa8 (diff) | |
| download | Nim-3b1aabdcffafbbf37ad02f013f754f67dfe2461c.tar.gz | |
change `--hint[X] => --hint:X` in nim repo (avoids shell quoting issues) (#18085)
Diffstat (limited to 'doc/nimc.rst')
| -rw-r--r-- | doc/nimc.rst | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/nimc.rst b/doc/nimc.rst index 47f7243cc..e467a33af 100644 --- a/doc/nimc.rst +++ b/doc/nimc.rst @@ -53,8 +53,8 @@ Advanced command-line switches are: List of warnings ---------------- -Each warning can be activated individually with `--warning[NAME]:on|off`:option: or -in a `push` pragma. +Each warning can be activated individually with `--warning:NAME:on|off`:option: or +in a `push` pragma with `{.warning[NAME]:on|off.}`. ========================== ============================================ Name Description @@ -77,8 +77,8 @@ User Some user-defined warning. List of hints ------------- -Each hint can be activated individually with `--hint[NAME]:on|off`:option: or in a -`push` pragma. +Each hint can be activated individually with `--hint:NAME:on|off`:option: or in a +`push` pragma with `{.hint[NAME]:on|off.}`. ========================== ============================================ Name Description |