From: Jani Nikula <jani@nikula.org>
Date: Fri, 21 May 2021 20:44:09 +0000 (+0300)
Subject: doc: use manpage role references to external man pages
X-Git-Tag: archive/debian/0.33_rc0-1~80
X-Git-Url: https://git.notmuchmail.org/git?a=commitdiff_plain;h=3baa61e0e58402bc50c5df529fcf669bf4b2facb;hp=3baa61e0e58402bc50c5df529fcf669bf4b2facb;p=notmuch

doc: use manpage role references to external man pages

Using manpage role references generates helpful links in html
documentation, while retaining the same boldface style in the man
pages.

The external man page site is configurable. The Debian manpage site
seems like a good fit for Notmuch.
---