diff options
author | Badlop <badlop@process-one.net> | 2021-08-21 18:31:21 +0200 |
---|---|---|
committer | Badlop <badlop@process-one.net> | 2021-08-23 14:04:49 +0200 |
commit | 506e2f3b972a7e1b6d4fdd40836b9574c4937908 (patch) | |
tree | 2577288f11b50436c0b7ac9be5a5c5f926db69ef /src/mod_ping.erl | |
parent | Improve formatting and add sections links (diff) |
Use specific syntax so modules and top-level will be links
If we use _`whatever`_ here in ejabberd man pages,
it is converted to *`whatever`* in markdown,
and docs.ejabberd.im/Makefile converts to the proper links
Diffstat (limited to 'src/mod_ping.erl')
-rw-r--r-- | src/mod_ping.erl | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/mod_ping.erl b/src/mod_ping.erl index 483f2e834..eee55825e 100644 --- a/src/mod_ping.erl +++ b/src/mod_ping.erl @@ -317,8 +317,8 @@ mod_doc() -> "server ping request in less than period defined " "in 'ping_ack_timeout' option: " "'kill' means destroying the underlying connection, " - "'none' means to do nothing. NOTE: when 'mod_stream_mgmt' " - "module is loaded and stream management is enabled by " + "'none' means to do nothing. NOTE: when _`mod_stream_mgmt`_ " + "is loaded and stream management is enabled by " "a client, killing the client connection doesn't mean " "killing the client session - the session will be kept " "alive in order to give the client a chance to resume it. " |