[for-next][PATCH] Documentation/rv: Add sched pages to the indices

From: Steven Rostedt
Date: Thu Mar 27 2025 - 12:05:54 EST



git://git.kernel.org/pub/scm/linux/kernel/git/trace/linux-trace.git
latency/for-next

Head SHA1: 4bb5d82b66002b770f8917d68ab4fbefcb7f5f9b


Gabriele Monaco (1):
Documentation/rv: Add sched pages to the indices

----
Documentation/tools/rv/index.rst | 1 +
Documentation/trace/rv/index.rst | 1 +
2 files changed, 2 insertions(+)
---------------------------
commit 4bb5d82b66002b770f8917d68ab4fbefcb7f5f9b
Author: Gabriele Monaco <gmonaco@xxxxxxxxxx>
Date: Thu Mar 27 09:12:40 2025 +0100

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@xxxxxxx>
Link: https://lore.kernel.org/20250327081240.46422-1-gmonaco@xxxxxxxxxx
Reported-by: Stephen Rothwell <sfr@xxxxxxxxxxxxxxxx>
Fixes: 03abeaa63c08 ("Documentation/rv: Add docs for the sched monitors")
Signed-off-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>
Signed-off-by: Steven Rostedt (Google) <rostedt@xxxxxxxxxxx>

diff --git a/Documentation/tools/rv/index.rst b/Documentation/tools/rv/index.rst
index 8fd16d91d639..64ba2efe2e85 100644
--- a/Documentation/tools/rv/index.rst
+++ b/Documentation/tools/rv/index.rst
@@ -15,6 +15,7 @@ Runtime verification (rv) tool
rv-mon
rv-mon-wip
rv-mon-wwnr
+ rv-mon-sched

.. only:: subproject and html

diff --git a/Documentation/trace/rv/index.rst b/Documentation/trace/rv/index.rst
index 15fa966102c0..e80e0057feb4 100644
--- a/Documentation/trace/rv/index.rst
+++ b/Documentation/trace/rv/index.rst
@@ -12,3 +12,4 @@ Runtime Verification
da_monitor_instrumentation.rst
monitor_wip.rst
monitor_wwnr.rst
+ monitor_sched.rst