[PATCH] rv: update rvgen monitor synthesis documentation path

[PATCH] rv: update rvgen monitor synthesis documentation path

[Yu Chuanyu via B4 Relay]

From: Yu Chuanyu <lucayu.alight@gmail.com>

The rvgen source comments still refer to da_monitor_synthesis.rst, which
no longer exists. The documentation is now available in
monitor_synthesis.rst. Update both references to point to the current
file.

Signed-off-by: Yu Chuanyu <lucayu.alight@gmail.com>
---
 tools/verification/rvgen/__main__.py    | 2 +-
 tools/verification/rvgen/rvgen/dot2k.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/verification/rvgen/__main__.py b/tools/verification/rvgen/__main__.py
index 5c923dc..2a2bb03 100644
--- a/tools/verification/rvgen/__main__.py
+++ b/tools/verification/rvgen/__main__.py
@@ -6,7 +6,7 @@
 # dot2k: transform dot files into a monitor for the Linux kernel.
 #
 # For further information, see:
-#   Documentation/trace/rv/da_monitor_synthesis.rst
+#   Documentation/trace/rv/monitor_synthesis.rst
 
 if __name__ == '__main__':
     from rvgen.dot2k import da2k, ha2k
diff --git a/tools/verification/rvgen/rvgen/dot2k.py b/tools/verification/rvgen/rvgen/dot2k.py
index 110cfd6..326984f 100644
--- a/tools/verification/rvgen/rvgen/dot2k.py
+++ b/tools/verification/rvgen/rvgen/dot2k.py
@@ -6,7 +6,7 @@
 # dot2k: transform dot files into a monitor for the Linux kernel.
 #
 # For further information, see:
-#   Documentation/trace/rv/da_monitor_synthesis.rst
+#   Documentation/trace/rv/monitor_synthesis.rst
 
 from collections import deque
 from .dot2c import Dot2c

---
base-commit: e771677c937da5808f7b6c1f0e4a97ec1a84f8a8
change-id: 20260618-rvgen-doc-path-11695c57153d

Best regards,
--  
Yu Chuanyu <lucayu.alight@gmail.com>

Re: [PATCH] rv: update rvgen monitor synthesis documentation path

[Gabriele Monaco]

On Thu, 2026-06-18 at 21:45 +0800, Yu Chuanyu via B4 Relay wrote:
> From: Yu Chuanyu <lucayu.alight@gmail.com>
> 
> The rvgen source comments still refer to da_monitor_synthesis.rst,
> which
> no longer exists. The documentation is now available in
> monitor_synthesis.rst. Update both references to point to the current
> file.
> 
> Signed-off-by: Yu Chuanyu <lucayu.alight@gmail.com>

Thanks for catching this!

Acked-by: Gabriele Monaco <gmonaco@redhat.com>

> ---
>  tools/verification/rvgen/__main__.py    | 2 +-
>  tools/verification/rvgen/rvgen/dot2k.py | 2 +-
>  2 files changed, 2 insertions(+), 2 deletions(-)
> 
> diff --git a/tools/verification/rvgen/__main__.py
> b/tools/verification/rvgen/__main__.py
> index 5c923dc..2a2bb03 100644
> --- a/tools/verification/rvgen/__main__.py
> +++ b/tools/verification/rvgen/__main__.py
> @@ -6,7 +6,7 @@
>  # dot2k: transform dot files into a monitor for the Linux kernel.
>  #
>  # For further information, see:
> -#   Documentation/trace/rv/da_monitor_synthesis.rst
> +#   Documentation/trace/rv/monitor_synthesis.rst
>  
>  if __name__ == '__main__':
>      from rvgen.dot2k import da2k, ha2k
> diff --git a/tools/verification/rvgen/rvgen/dot2k.py
> b/tools/verification/rvgen/rvgen/dot2k.py
> index 110cfd6..326984f 100644
> --- a/tools/verification/rvgen/rvgen/dot2k.py
> +++ b/tools/verification/rvgen/rvgen/dot2k.py
> @@ -6,7 +6,7 @@
>  # dot2k: transform dot files into a monitor for the Linux kernel.
>  #
>  # For further information, see:
> -#   Documentation/trace/rv/da_monitor_synthesis.rst
> +#   Documentation/trace/rv/monitor_synthesis.rst
>  
>  from collections import deque
>  from .dot2c import Dot2c
> 
> ---
> base-commit: e771677c937da5808f7b6c1f0e4a97ec1a84f8a8
> change-id: 20260618-rvgen-doc-path-11695c57153d
> 
> Best regards,
> --  
> Yu Chuanyu <lucayu.alight@gmail.com>
> 
>