]> git.notmuchmail.org Git - notmuch/commitdiff
doc: use manpage role references to external man pages
authorJani Nikula <jani@nikula.org>
Fri, 21 May 2021 20:44:09 +0000 (23:44 +0300)
committerDavid Bremner <david@tethera.net>
Sat, 22 May 2021 12:56:52 +0000 (09:56 -0300)
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.


No differences found