[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <aTFI2LDNLmC1osiG@archie.me>
Date: Thu, 4 Dec 2025 15:39:52 +0700
From: Bagas Sanjaya <bagasdotme@...il.com>
To: Soham Metha <sohammetha01@...il.com>,
linux-kernel-mentees@...ts.linuxfoundation.org
Cc: shuah@...nel.org, skhan@...uxfoundation.org, rostedt@...dmis.org,
namcao@...utronix.de, gmonaco@...hat.com,
mathieu.desnoyers@...icios.com, mhiramat@...nel.org,
linux-kernel@...r.kernel.org, Jonathan Corbet <corbet@....net>,
linux-trace-kernel@...r.kernel.org, linux-doc@...r.kernel.org
Subject: Re: [PATCH v3] Documentation/rv: Fix dead link to
monitor_synthesis.rst
On Thu, Dec 04, 2025 at 08:54:52AM +0530, Soham Metha wrote:
> 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 <bagasdotme@...il.com>
--
An old man doll... just what I always wanted! - Clara
Download attachment "signature.asc" of type "application/pgp-signature" (229 bytes)
Powered by blists - more mailing lists