From: Costa Shulyupin Date: Sun, 31 May 2026 14:18:22 +0000 (+0300) Subject: docs: real-time: Fix duplicated sched(7) text X-Git-Url: http://git.ipfire.org/gitweb/?a=commitdiff_plain;h=2d5e755b0698572c6564567645c31385055e1f5c;p=thirdparty%2Fkernel%2Flinux.git docs: real-time: Fix duplicated sched(7) text The man page reference appeared twice - once as plain text and once as a hyperlink. Remove the plain text duplicate. Assisted-by: Claude:claude-opus-4-6 Signed-off-by: Costa Shulyupin Reviewed-by: Sebastian Andrzej Siewior Acked-by: Randy Dunlap Tested-by: Randy Dunlap Signed-off-by: Jonathan Corbet Message-ID: <20260531141823.4118954-1-costa.shul@redhat.com> --- diff --git a/Documentation/core-api/real-time/theory.rst b/Documentation/core-api/real-time/theory.rst index 43d0120737f87..92de5654163da 100644 --- a/Documentation/core-api/real-time/theory.rst +++ b/Documentation/core-api/real-time/theory.rst @@ -25,7 +25,7 @@ Scheduling ========== The core principles of Linux scheduling and the associated user-space API are -documented in the man page sched(7) +documented in the man page `sched(7) `_. By default, the Linux kernel uses the SCHED_OTHER scheduling policy. Under this policy, a task is preempted when the scheduler determines that it has