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

Steven Rostedt posted 1 patch 8 months, 3 weeks ago
Documentation/tools/rv/index.rst | 1 +
Documentation/trace/rv/index.rst | 1 +
2 files changed, 2 insertions(+)
[for-next][PATCH] Documentation/rv: Add sched pages to the indices
Posted by Steven Rostedt 8 months, 3 weeks ago

  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@redhat.com>
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@lwn.net>
    Link: https://lore.kernel.org/20250327081240.46422-1-gmonaco@redhat.com
    Reported-by: Stephen Rothwell <sfr@canb.auug.org.au>
    Fixes: 03abeaa63c08 ("Documentation/rv: Add docs for the sched monitors")
    Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
    Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>

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
Re: [for-next][PATCH] Documentation/rv: Add sched pages to the indices
Posted by Gabriele Monaco 8 months, 3 weeks ago
2025-03-27T16:14:10Z Steven Rostedt <rostedt@goodmis.org>:

> 
>   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(+)
> ---------------------------

Hi Steve,

this last patch didn't make it to the trace-latency-v6.15-2 tag and was
not picked by the pull request during merge.
Is it something that the next round of automation will do?

Thanks,
Gabriele