Update user-manual.html
The double dash is in the wrong place in the example.
Closes #13532.
PiperOrigin-RevId: 378022925
diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 01ddf9c..9718ea8 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -2199,7 +2199,7 @@
it is used to build <em>and run</em> a single target. Here is a typical session:
</p>
<pre>
- % bazel run -- java/myapp:myapp --arg1 --arg2
+ % bazel run java/myapp:myapp -- --arg1 --arg2
Welcome to Bazel
INFO: Loading package: java/myapp
INFO: Loading package: foo/bar