diff options
author | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-18 19:21:20 +0200 |
---|---|---|
committer | Oliver Reiche <oliver.reiche@huawei.com> | 2022-10-20 15:19:04 +0200 |
commit | 4da5aba726d8f7a5ee2b055173397a59ae97c057 (patch) | |
tree | 0442f9ede7259013cda531cd90854c0b88d56668 /share | |
parent | 3045d8f702a934a4575b53bba3903f12fcd26536 (diff) | |
download | justbuild-4da5aba726d8f7a5ee2b055173397a59ae97c057.tar.gz |
man: Update just man page
Diffstat (limited to 'share')
-rw-r--r-- | share/man/just.1.org | 4 |
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 |