You're right, that's a holdover from the internal docs, and should be removed. Would you like to send a patch to remove it?
Docs describe nonexistent --local_genrule_timeout_seconds option
### Description of the problem / feature request / question:

https://bazel.build/versions/master/docs/bazel-user-manual.html describes an option called `--local_genrule_timeout_seconds`, but I can't find any such option, or anything similar. Should this be removed from the docs?
site/docs/bazel-user-manual.html
site/docs/bazel-user-manual.html
diff --git a/site/docs/bazel-user-manual.html b/site/docs/bazel-user-manual.html
index f38f29f60e3f19..f16498cf2041f7 100644
--- a/site/docs/bazel-user-manual.html
+++ b/site/docs/bazel-user-manual.html
@@ -1824,9 +1824,6 @@ <h4 id='flag--genrule_strategy'><code class='flag'>--genrule_strategy <var>strat
 
 </ul>
 
-<h4 id='flag--local_genrule_timeout_seconds'><code class='flag'>--local_genrule_timeout_seconds <var>seconds</var></code></h4>
-<p>Sets a timeout value for local genrules with the given number of seconds.</p>
-
 <h4 id='flag--jobs'><code class='flag'>--jobs <var>n</var></code> (-j)</h4>
 <p>
   This option, which takes an integer argument, specifies a limit on
