diff options
author | ccalvarin <ccalvarin@google.com> | 2017-03-31 14:21:36 +0000 |
---|---|---|
committer | Philipp Wollermann <philwo@google.com> | 2017-03-31 17:13:27 +0200 |
commit | bdb4fe4a6d3f08afb2ee85c808c9cc84b07d84d9 (patch) | |
tree | e6a14f3452b4cd14273a1649098b424205c517a3 | |
parent | 53cb0bd037f127e08cb00f9097342995eeda353e (diff) |
Undocument --no_ prefix, it's redundant and will go away.
RELNOTES: For boolean flags, setting them to false using --no_<flag_name> is deprecated. Use --no<flag_name> without the underscore, or --<flag_name>=false instead.
PiperOrigin-RevId: 151820875
-rw-r--r-- | site/command-line-reference-prefix.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/site/command-line-reference-prefix.html b/site/command-line-reference-prefix.html index abf916f789..38e14607df 100644 --- a/site/command-line-reference-prefix.html +++ b/site/command-line-reference-prefix.html @@ -40,7 +40,6 @@ Boolean options can be enabled as follows: and disabled as follows: <pre> --no<option> ---no_<option> --<option>=[false|no|0] </pre> </p> @@ -54,7 +53,6 @@ force-enabled as follows: or force-disabled as follows: <pre> --no<option> ---no_<option> --<option>=[false|no|0] </pre> </p> |