Commit 4bb5d82b authored by Gabriele Monaco's avatar Gabriele Monaco Committed by Steven Rostedt (Google)
Browse files

Documentation/rv: Add sched pages to the indices 

The pages Documentation/tools/rv/rv-mon-sched.rst and
Documentation/trace/rv/monitor_sched.rst were introduced but not
included in any index.

Add them to the respective indices.

Cc: Jonathan Corbet <corbet@lwn.net>
Link: https://lore.kernel.org/20250327081240.46422-1-gmonaco@redhat.com


Reported-by: default avatarStephen Rothwell <sfr@canb.auug.org.au>
Fixes: 03abeaa6 ("Documentation/rv: Add docs for the sched monitors")
Signed-off-by: default avatarGabriele Monaco <gmonaco@redhat.com>
Signed-off-by: default avatarSteven Rostedt (Google) <rostedt@goodmis.org>
parent 4ffef957

Documentation/tools/rv/index.rst

+1 −0
Original line number Diff line number Diff line
@@ -15,6 +15,7 @@ Runtime verification (rv) tool 
   rv-mon

   rv-mon-wip

   rv-mon-wwnr

   rv-mon-sched



.. only::  subproject and html

Documentation/trace/rv/index.rst

+1 −0
Original line number Diff line number Diff line
@@ -12,3 +12,4 @@ Runtime Verification 
   da_monitor_instrumentation.rst

   monitor_wip.rst

   monitor_wwnr.rst

   monitor_sched.rst