Re: [PATCH] rv: update rvgen monitor synthesis documentation path
From: Gabriele Monaco <gmonaco@redhat.com>
Date: 2026-06-19 08:53:00
Also in:
lkml
On Thu, 2026-06-18 at 21:45 +0800, Yu Chuanyu via B4 Relay wrote:
From: Yu Chuanyu <redacted> 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 <redacted>
Thanks for catching this! Acked-by: Gabriele Monaco <gmonaco@redhat.com>
quoted hunk ↗ jump to hunk
--- 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__.pyb/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, ha2kdiff --git a/tools/verification/rvgen/rvgen/dot2k.pyb/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 [off-list ref]