From 070aa54ad4af0a20600ec21991354bc319022743 Mon Sep 17 00:00:00 2001
From: Delwin9999 <delwin+github@gmail.com>
Date: Mon, 7 Jun 2021 15:43:59 -0700
Subject: [PATCH] Update user-manual.html

The double dash is in the wrong place in the example.

Closes #13532.

PiperOrigin-RevId: 378022925
---
 site/docs/user-manual.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/site/docs/user-manual.html b/site/docs/user-manual.html
index 01ddf9c6cd2550..9718ea8128e6aa 100644
--- a/site/docs/user-manual.html
+++ b/site/docs/user-manual.html
@@ -2199,7 +2199,7 @@ <h2 id='run'>Running executables</h2>
   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