aboutsummaryrefslogtreecommitdiff
path: root/doc/man7
diff options
context:
space:
mode:
authorJani Nikula <jani@nikula.org>2021-05-21 23:44:09 +0300
committerDavid Bremner <david@tethera.net>2021-05-22 09:56:52 -0300
commit3baa61e0e58402bc50c5df529fcf669bf4b2facb (patch)
tree4a0bb9880b67fadc7f0133970d2d5fbc7a28c89e /doc/man7
parent702635d5f61729b5d0453f73d8eaa4bc6eb50ed4 (diff)
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.
Diffstat (limited to 'doc/man7')
-rw-r--r--doc/man7/notmuch-search-terms.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/man7/notmuch-search-terms.rst b/doc/man7/notmuch-search-terms.rst
index 28fca737..04413f81 100644
--- a/doc/man7/notmuch-search-terms.rst
+++ b/doc/man7/notmuch-search-terms.rst
@@ -39,7 +39,7 @@ indicate user-supplied values).
Some of the prefixes with <regex> forms can be also used to restrict
the results to those whose value matches a regular expression (see
-**regex(7)**) delimited with //, for example::
+:manpage:`regex(7)`) delimited with //, for example::
notmuch search 'from:"/bob@.*[.]example[.]com/"'