On Wed, Dec 03, 2025 at 11:51:21PM +0530, Soham Metha wrote:
> The file 'da_monitor_synthesis.rst' was renamed to 'monitor_synthesis.rst' in
> commit f40a7c060207090f41998025fcd1cfad06ea2780
> ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion").[also Cc: people in the commit's SoB chain] Nit: For commit references, please use abbreviated commit hash (at least 12 characters; I personally prefer 14). > > Update the reference to point to the new filename. > > Signed-off-by: Soham Metha <[email protected]> Fixes: f40a7c06020709 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion") > The wip monitor is presented in:: > > - Documentation/trace/rv/da_monitor_synthesis.rst > + Documentation/trace/rv/monitor_synthesis.rst Thanks for the catch! Can you also unwrap the references (which are in literal code blocks) so that these can be linked? Like: ---- >8 ---- diff --git a/Documentation/trace/rv/da_monitor_instrumentation.rst b/Documentation/trace/rv/da_monitor_instrumentation.rst index 6c67c7b5781118..9eff38a4ad1ff4 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 Thanks. -- An old man doll... just what I always wanted! - Clara
signature.asc
Description: PGP signature
