[PATCH v2] Documentation/tools/rv: fix document header

From: Jiri Kastner
Date: Wed Jun 26 2024 - 16:43:58 EST


Signed-off-by: Jiri Kastner <cz172638@xxxxxxxxx>
---
Documentation/tools/rv/rv-mon.rst | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/Documentation/tools/rv/rv-mon.rst b/Documentation/tools/rv/rv-mon.rst
index af0f329a7c9c..4d86fd55eb59 100644
--- a/Documentation/tools/rv/rv-mon.rst
+++ b/Documentation/tools/rv/rv-mon.rst
@@ -1,8 +1,8 @@
.. SPDX-License-Identifier: GPL-2.0

-=======
-rv-list
-=======
+======
+rv-mon
+======
-----------------------
List available monitors
-----------------------
--
2.45.2