summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorOliver Reiche <oliver.reiche@huawei.com>2022-10-18 19:21:20 +0200
committerOliver Reiche <oliver.reiche@huawei.com>2022-10-20 15:19:04 +0200
commit4da5aba726d8f7a5ee2b055173397a59ae97c057 (patch)
tree0442f9ede7259013cda531cd90854c0b88d56668 /share
parent3045d8f702a934a4575b53bba3903f12fcd26536 (diff)
downloadjustbuild-4da5aba726d8f7a5ee2b055173397a59ae97c057.tar.gz
man: Update just man page
Diffstat (limited to 'share')
-rw-r--r--share/man/just.1.org4
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org
index 9bd95ae0..4e0fd284 100644
--- a/share/man/just.1.org
+++ b/share/man/just.1.org
@@ -50,8 +50,8 @@ multi-repository configuration file if it contains the key ~main~ or
through the option ~--main~. The command-line option ~--main~
overrides what is eventually read from the multi-repository
configuration file. If neither the multi-repository configuration file
-contains the ~main~ key nor the ~--main~ option is provided, the main
-repository is set to an empty string.
+contains the ~main~ key nor the ~--main~ option is provided, the lexicographical
+first respository from the multi-repository configuration file is used as main.
The ~workspace_root~ of the main repository is then defined as
follows. If the option ~--workspace-root~ is provided, then