diff options
author | 2015-06-23 21:38:34 +0000 | |
---|---|---|
committer | 2015-06-24 12:08:18 +0000 | |
commit | 0abc38ada649a134e47c75e64f0d05b2b3fe1fa2 (patch) | |
tree | 880eec5c74527e6c8003575a67f8e926951d94f5 | |
parent | 7b29d217ccdf6e77b211595a8b6debea4e3134c0 (diff) |
Delete documentation for 'server_log' info item. This doesn't currently exist and hasn't existed for a while.
--
MOS_MIGRATED_REVID=96711367
-rw-r--r-- | site/docs/bazel-user-manual.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html index 6cb740a86d..5ae68abdd5 100644 --- a/site/docs/bazel-user-manual.html +++ b/site/docs/bazel-user-manual.html @@ -3114,9 +3114,6 @@ in an environment closer to the current shell environment. Note that none of the <code class='flag'>--output_user_root</code> options. </li> - <li><code>server_log</code>: the absolute path to the Bazel server's - log file; this contains useful information for debugging Bazel. - </li> <li><code>used-heap-size</code>, <code>committed-size</code>, <code>max-heap-size</code>: reports various JVM heap size |