From afd767103ee2b80a67beb6e5c4fa94dd025f6a75 Mon Sep 17 00:00:00 2001
From: LaMont Jones <lamontjones@google.com>
Date: Thu, 10 Nov 2022 02:31:19 +0000
Subject: 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>
---
 man/repo.1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'man/repo.1')

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
-- 
cgit v1.2.3-54-g00ecf