commit 0abc38ada649a134e47c75e64f0d05b2b3fe1fa2
author Nathan Harmata <nharmata@google.com> Tue Jun 23 21:38:34 2015 +0000
committer Damien Martin-Guillerez <dmarting@google.com> Wed Jun 24 12:08:18 2015 +0000
tree 880eec5c74527e6c8003575a67f8e926951d94f5
parent 7b29d217ccdf6e77b211595a8b6debea4e3134c0

Delete documentation for 'server_log' info item. This doesn't currently exist and hasn't existed for a while.

--
MOS_MIGRATED_REVID=96711367

site/docs/bazel-user-manual.html

diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html
index 6cb740a..5ae68ab 100644
--- a/site/docs/bazel-user-manual.html
+++ b/site/docs/bazel-user-manual.html
@@ -3114,9 +3114,6 @@
     <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