[PATCH v2] Documentation/rv: Fix dead link to monitor_synthesis.rst
From: Soham Metha <hidden>
Date: 2025-12-03 18:21:35
Also in:
linux-doc, linux-kernel-mentees, lkml
Subsystem:
documentation, runtime verification (rv), the rest, tracing · Maintainers:
Jonathan Corbet, Steven Rostedt, Gabriele Monaco, Linus Torvalds, Masami Hiramatsu
The file 'da_monitor_synthesis.rst' was renamed to 'monitor_synthesis.rst' in
commit f40a7c060207090f41998025fcd1cfad06ea2780
("Documentation/rv: Prepare monitor synthesis document for LTL inclusion").
Update the reference to point to the new filename.
Signed-off-by: Soham Metha <redacted>
---
Changelog:
- Use proper commit SHA reference syntax
Documentation/trace/rv/da_monitor_instrumentation.rst | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documentation/trace/rv/da_monitor_instrumentation.rst b/Documentation/trace/rv/da_monitor_instrumentation.rst
index 6c67c7b57811..b847c58a96b6 100644
--- a/Documentation/trace/rv/da_monitor_instrumentation.rst
+++ b/Documentation/trace/rv/da_monitor_instrumentation.rst@@ -168,4 +168,4 @@ The probes then need to be detached at the disable phase. The wip monitor is presented in:: - Documentation/trace/rv/da_monitor_synthesis.rst + Documentation/trace/rv/monitor_synthesis.rst
--
2.34.1