diff options
| author | Soham Metha <sohammetha01@gmail.com> | 2025-12-04 08:54:52 +0530 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2025-12-22 15:30:26 -0700 |
| commit | 7508b208f1c5df75223883be7dbdbcba23425b6e (patch) | |
| tree | 8d90fdfcbe22543e0d5130f680266aeacdce424c /Documentation/trace | |
| parent | 1de54df949535fca2b879cd0bcfd21ce56d2f416 (diff) | |
| download | linux-7508b208f1c5df75223883be7dbdbcba23425b6e.tar.gz linux-7508b208f1c5df75223883be7dbdbcba23425b6e.tar.bz2 linux-7508b208f1c5df75223883be7dbdbcba23425b6e.zip | |
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>
Diffstat (limited to 'Documentation/trace')
| -rw-r--r-- | Documentation/trace/rv/da_monitor_instrumentation.rst | 6 |
1 files changed, 3 insertions, 3 deletions
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 |