diff options
author | Daniel Stenberg <daniel@haxx.se> | 2021-03-22 16:50:57 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2021-03-22 16:50:58 +0100 |
commit | d7f737dd1359b20432bf5e65401ea4c22526fca5 (patch) | |
tree | f523b6783dfb9ed277a240d0de9ec913141a8d43 /docs/cmdline-opts/dns-servers.d | |
parent | c915662485f8fe1e32351a8f83a4a5fe76b5bd08 (diff) | |
download | curl-d7f737dd1359b20432bf5e65401ea4c22526fca5.tar.gz |
docs: make gen.pl support *italic* and **bold**
Remove some nroffisms from the cmdline doc files to simplify editing,
and instead support this markdown style.
Closes #6771
Diffstat (limited to 'docs/cmdline-opts/dns-servers.d')
-rw-r--r-- | docs/cmdline-opts/dns-servers.d | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/cmdline-opts/dns-servers.d b/docs/cmdline-opts/dns-servers.d index 8665426a8..0ff26636c 100644 --- a/docs/cmdline-opts/dns-servers.d +++ b/docs/cmdline-opts/dns-servers.d @@ -7,5 +7,5 @@ Category: dns --- Set the list of DNS servers to be used instead of the system default. The list of IP addresses should be separated with commas. Port numbers -may also optionally be given as \fI:<port-number>\fP after each IP +may also optionally be given as *:<port-number>* after each IP address. |