Re: [PATCH v2] rv: Fix documentation reference in da_monitor.h

[Gabriele Monaco]

On Tue, 2025-12-30 at 13:23 +0530, Shubham Sharma wrote:
> Update documentation reference to reflect the file rename.
> Monitor synthesis documentation was renamed in commit f40a7c060207
> ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion")
> from da_monitor_synthesis.rst to monitor_synthesis.rst.
> 
> Signed-off-by: Shubham Sharma <slopixelz@xxxxxxxxx>

Looks good, thanks! I'm going to apply it to my tree.


Small note for next time, although it doesn't make a big difference with this
tiny patch, when you send a new version after getting a review, try to propagate
the review tag.

Simply copy:

Reviewed-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

(or whoever reviewed/acked) before the signoff in the commit message.
This helps when reviewing larger series and when using tools like patchwork.

(now you don't need to do it, most tools will pick it from this answer)

Thanks,
Gabriele

> ---
> v2: Removed backslashes as suggested by Gabriele Monaco
> 
>  include/rv/da_monitor.h | 2 +-
>  1 file changed, 1 insertion(+), 1 deletion(-)
> 
> diff --git a/include/rv/da_monitor.h b/include/rv/da_monitor.h
> index 0cef64366538..810cfb140131 100644
> --- a/include/rv/da_monitor.h
> +++ b/include/rv/da_monitor.h
> @@ -8,7 +8,7 @@
>   * The dot2k tool is available at tools/verification/dot2k/
>   *
>   * For further information, see:
> - *   Documentation/trace/rv/da_monitor_synthesis.rst
> + *   Documentation/trace/rv/monitor_synthesis.rst
>   */
>  
>  #include <rv/automata.h>