diff options
| -rw-r--r-- | Documentation/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
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 ------------------------------ |