tjh.dev / kernel
Linux kernel mirror (for testing) git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
kernel os linux
1
fork

Configure Feed

Select the types of activity you want to include in your feed.

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 <sohammetha01@gmail.com>
Fixes: f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion")
Acked-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <20251204032452.9523-1-sohammetha01@gmail.com>

authored by

Soham Metha and committed by
Jonathan Corbet 7508b208 1de54df9

+3 -3
+3 -3
Documentation/trace/rv/da_monitor_instrumentation.rst
··· 162 162 163 163 The probes then need to be detached at the disable phase. 164 164 165 - [1] The wip model is presented in:: 165 + [1] The wip model is presented in: 166 166 167 167 Documentation/trace/rv/deterministic_automata.rst 168 168 169 - The wip monitor is presented in:: 169 + The wip monitor is presented in: 170 170 171 - Documentation/trace/rv/da_monitor_synthesis.rst 171 + Documentation/trace/rv/monitor_synthesis.rst