aboutsummaryrefslogtreecommitdiffhomepage
path: root/site
diff options
context:
space:
mode:
authorGravatar felly <felly@google.com>2018-07-24 08:41:23 -0700
committerGravatar Copybara-Service <copybara-piper@google.com>2018-07-24 08:43:50 -0700
commit7c7e566180b597707933ecba53a6931154dbb7f8 (patch)
tree20f1314c9b7abad00b464aa03c0b7ad11dd42237 /site
parentff0c491b13490835695358605ffc4ec5db62ec8f (diff)
Delete --show_package_location, which has been deprecated / no-op for years.
Fixes #5592. RELNOTES: Deleting deprecated no-op flag --show_package_location PiperOrigin-RevId: 205834069
Diffstat (limited to 'site')
-rw-r--r--site/docs/user-manual.html5
1 files changed, 0 insertions, 5 deletions
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 94cd3456ce..8badefd2dd 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -1072,11 +1072,6 @@ $ bazel fetch //...
<h3>Options that affect how packages are located</h3>
-<p>
- See also the <a href='#flag--show_package_location'><code class='flag'>--show_package_location</code></a>
- option.
-</p>
-
<h4 id='flag--package_path'><code class='flag'>--package_path</code></h4>
<p>
This option specifies the set of directories that are searched to