Re: [PATCH v3] Documentation/rv: Fix dead link to monitor_synthesis.rst
From: Bagas Sanjaya <hidden>
Date: 2025-12-04 08:39:57
Also in:
linux-doc, linux-kernel-mentees, lkml
On Thu, Dec 04, 2025 at 08:54:52AM +0530, Soham Metha wrote:
quoted hunk ↗ jump to hunk
diff --git a/Documentation/trace/rv/da_monitor_instrumentation.rst b/Documentation/trace/rv/da_monitor_instrumentation.rst index 6c67c7b57811..9eff38a4ad1f 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
Looks good, thanks!
Fixes: f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion")
Reviewed-by: Bagas Sanjaya <redacted>
--
An old man doll... just what I always wanted! - Clara Attachments
- signature.asc [application/pgp-signature] 228 bytes