summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorOliver Reiche <oliver.reiche@huawei.com>2024-03-07 14:04:58 +0100
committerOliver Reiche <oliver.reiche@huawei.com>2024-03-08 14:18:43 +0100
commit17f6d64660c1fed29a948ba39b4a190b9a243ebb (patch)
tree3d12f56397fc3a302e6ca2b5ecc62cafbb4adce5 /share
parentb1c05265f0f1654511135bb2392ef78b9cd108d1 (diff)
downloadjustbuild-17f6d64660c1fed29a948ba39b4a190b9a243ebb.tar.gz
doc: Improve description of "preferred hostnames"
Diffstat (limited to 'share')
-rw-r--r--share/man/just-mr.1.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md
index 67313661..7a92466d 100644
--- a/share/man/just-mr.1.md
+++ b/share/man/just-mr.1.md
@@ -86,7 +86,7 @@ This file contains a JSON object with several known keys:
URLs to a list of local (non-public) mirrors. These mirrors are always
tried first (in the given order) before any other URL is contacted.
- the key *`"preferred hostnames"`*, if given, is a list of strings
- specifying known hostnames. When fetching from a non-local URL, URLs
+ specifying known hostnames. When fetching from a non-local mirror, URLs
with hostnames in the given list are preferred (in the order given)
over URLs with other hostnames.