From 7508b208f1c5df75223883be7dbdbcba23425b6e Mon Sep 17 00:00:00 2001 From: Soham Metha Date: Thu, 4 Dec 2025 08:54:52 +0530 Subject: [PATCH] Documentation/rv: Fix dead link to monitor_synthesis.rst The file 'da_monitor_synthesis.rst' was renamed to 'monitor_synthesis.rst' in commit f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion"). Signed-off-by: Soham Metha Fixes: f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion") Acked-by: Gabriele Monaco Signed-off-by: Jonathan Corbet Message-ID: <20251204032452.9523-1-sohammetha01@gmail.com> --- Documentation/trace/rv/da_monitor_instrumentation.rst | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Documentation/trace/rv/da_monitor_instrumentation.rst b/Documentation/trace/rv/da_monitor_instrumentation.rst index 6c67c7b578111..9eff38a4ad1ff 100644 --- a/Documentation/trace/rv/da_monitor_instrumentation.rst +++ b/Documentation/trace/rv/da_monitor_instrumentation.rst @@ -162,10 +162,10 @@ For example, from the wip sample model:: The probes then need to be detached at the disable phase. -[1] The wip model is presented in:: +[1] The wip model is presented in: Documentation/trace/rv/deterministic_automata.rst -The wip monitor is presented in:: +The wip monitor is presented in: - Documentation/trace/rv/da_monitor_synthesis.rst + Documentation/trace/rv/monitor_synthesis.rst -- 2.47.3