diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/docs/user-manual.html | 5 |
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 |