repo_trace: adjust formatting, update man page.

No behavior change in this CL.

Change-Id: Iab1eb01864ea8a5aec3a683200764d20786b42de
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/351474
Tested-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Xin Li <delphij@google.com>

1 files changed, 1 insertions, 1 deletions

diff --git a/man/repo.1 b/man/repo.1
index 6a9e07de..d2693a9f 100644
--- a/man/repo.1
+++ b/man/repo.1
@@ -25,7 +25,7 @@ control color usage: auto, always, never
 \fB\-\-trace\fR
 trace git command execution (REPO_TRACE=1)
 .TP
-\fB\-\-trace-to-stderr\fR
+\fB\-\-trace\-to\-stderr\fR
 trace outputs go to stderr in addition to
 \&.repo/TRACE_FILE
 .TP