commit 2083aad9de6f092e3efcc51fdb0fb63e3e9a2d1e
author gregce <gregce@google.com> Mon May 18 15:49:30 2020 -0700
committer Copybara-Service <copybara-worker@google.com> Mon May 18 15:50:42 2020 -0700
tree d3f244d0624b4cb8d73dd73c3fac67061a85a1b8
parent c006d36ae88606dc1c45ccf621ce26213d7f9c5a

Fix bug from 29bc580728eb

PiperOrigin-RevId: 312169944

site/docs/user-manual.html

diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 3891fbc..dd26005 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -2435,6 +2435,7 @@
 /var/tmp/_bazel_johndoe/fbd0e8a34f61ce5d491e3da69d959fe6/execroot/io_bazel/bazel-out/piii-opt/bin
 % bazel info --cpu=k8 bazel-bin
 /var/tmp/_bazel_johndoe/fbd0e8a34f61ce5d491e3da69d959fe6/execroot/io_bazel/bazel-out/k8-opt/bin
+</pre>
 <h3 id='version'><code>version</code> and <code>--version</code></h3>
 
 <p>