rv: Fix documentation reference in da_monitor.h

Slo-Pix · glemco · commit 403faa575738 · 2026-01-12T07:44:09.000+01:00
Update documentation reference to reflect the file rename. Monitor synthesis documentation was renamed in commit f40a7c0 ("Documentation/rv: Prepare monitor synthesis document for LTL inclusion") from da_monitor_synthesis.rst to monitor_synthesis.rst. Signed-off-by: Shubham Sharma <slopixelz@gmail.com> Reviewed-by: Gabriele Monaco <gmonaco@redhat.com> Link: https://lore.kernel.org/r/20251230075337.11993-1-slopixelz@gmail.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
diff --git 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
  */
 
 #ifndef _RV_DA_MONITOR_H

Original file line number	Diff line number	Diff line change
`@@ -8,7 +8,7 @@`
`8`	`8`	`* The dot2k tool is available at tools/verification/dot2k/`
`9`	`9`	`*`
`10`	`10`	`* For further information, see:`
`11`		`- * Documentation/trace/rv/da_monitor_synthesis.rst`
	`11`	`+ * Documentation/trace/rv/monitor_synthesis.rst`
`12`	`12`	`*/`
`13`	`13`
`14`	`14`	`#ifndef _RV_DA_MONITOR_H`