From 24c6314fca400f86fd893053c79788a8ab681477 Mon Sep 17 00:00:00 2001
From: Joanna Wang <jojwang@google.com>
Date: Tue, 8 Nov 2022 18:56:52 -0500
Subject: Fix TRACE_FILE renaming.

Bug: b/258073923

Change-Id: I997961056388e1550711f73a6310788b5c7ad4d4
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/350934
Tested-by: Joanna Wang <jojwang@google.com>
Reviewed-by: LaMont Jones <lamontjones@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 e7368a84..6a9e07de 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