From 4da5aba726d8f7a5ee2b055173397a59ae97c057 Mon Sep 17 00:00:00 2001 From: Oliver Reiche Date: Tue, 18 Oct 2022 19:21:20 +0200 Subject: man: Update just man page --- share/man/just.1.org | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'share') 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 -- cgit v1.2.3