[PATCH v3 7/7] docs: add a man-pages link to the front page

From: Jonathan Corbet
Date: Tue Sep 27 2022 - 12:08:18 EST


Readers looking for user-oriented information may benefit from it.

Signed-off-by: Jonathan Corbet <corbet@xxxxxxx>
---
Documentation/index.rst | 2 ++
1 file changed, 2 insertions(+)

diff --git a/Documentation/index.rst b/Documentation/index.rst
index 5a700548ae82..85eab6e990ab 100644
--- a/Documentation/index.rst
+++ b/Documentation/index.rst
@@ -76,6 +76,8 @@ developers seeking information on the kernel's user-space APIs.
User-space tools <tools/index>
userspace-api/index

+See also: the `Linux man pages <https://www.kernel.org/doc/man-pages/>`_,
+which are kept separately from the kernel's own documentation.

Firmware-related documentation
------------------------------
--
2.37.2