Documentation: Link man pages to https://man7.org/

Configure manpages_url to link man pages to https://man7.org/.
https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-manpages_url

Acked-by: Alejandro Colomar <alx@kernel.org>
Signed-off-by: Petr Vorel <pvorel@suse.cz>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Message-ID: <20260113113612.315748-3-pvorel@suse.cz>

diff --git a/Documentation/conf.py b/Documentation/conf.py
index 1ea2ae5c6276ceb3bccb87684262b5384950a9ad..16d025af1f304f40396044f7cbbce4fd21a53234 100644 (file)
--- a/Documentation/conf.py
+++ b/Documentation/conf.py
@@ -51,6 +51,9 @@ else:
     dyn_exclude_patterns.append("devicetree/bindings/**.yaml")
     dyn_exclude_patterns.append("core-api/kho/bindings/**.yaml")
 
+# Link to man pages
+manpages_url = 'https://man7.org/linux/man-pages/man{section}/{page}.{section}.html'
+
 # Properly handle directory patterns and LaTeX docs
 # -------------------------------------------------