doc: use manpage role references to external man pages

[notmuch] / doc / conf.py

diff --git a/doc/conf.py b/doc/conf.py
index d0f7f66ce83ee8d639ec17869e407dd424053cee..4a4a34212cc3cb816ae7de88e1ce84271dc1fd4a 100644 (file)
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -80,6 +80,11 @@ htmlhelp_basename = 'notmuchdoc'
 # Despite the name, this actually affects manual pages as well.
 html_use_smartypants = False
 
 # Despite the name, this actually affects manual pages as well.
 html_use_smartypants = False
 

+# See:
+# - https://www.sphinx-doc.org/en/master/usage/configuration.html#confval-manpages_url
+# - https://manpages.debian.org/
+manpages_url = 'https://manpages.debian.org/{page}.{section}.html'
+

 # -- Options for manual page output ---------------------------------------
 
 # One entry per manual page. List of tuples
 # -- Options for manual page output ---------------------------------------
 
 # One entry per manual page. List of tuples