summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorMaksim Denisov <denisov.maksim@huawei.com>2025-01-16 16:42:54 +0100
committerMaksim Denisov <denisov.maksim@huawei.com>2025-01-21 11:06:11 +0100
commit3a8cb22cf6ebfae9ffc411f2499c634dfa009924 (patch)
tree6bb3a75b16acae048ba3294fe2a4306daf8157df /share
parent4ffa6374dbf67fe386bab041d67a46c3ce75cc23 (diff)
downloadjustbuild-3a8cb22cf6ebfae9ffc411f2499c634dfa009924.tar.gz
Describe format of absent tree structure roots in just-repository-config.5.md.
Diffstat (limited to 'share')
-rw-r--r--share/man/just-repository-config.5.md6
1 files changed, 4 insertions, 2 deletions
diff --git a/share/man/just-repository-config.5.md b/share/man/just-repository-config.5.md
index 75c4dd97..9d038641 100644
--- a/share/man/just-repository-config.5.md
+++ b/share/man/just-repository-config.5.md
@@ -43,9 +43,11 @@ which determines the type and semantic of the subsequent elements:
the module name, the target name, and the configuration, in that order.
- *`"tree structure"`* refers to the directory structure of a file root.
- The list has to have length of 2 and the second argument contains the
+ The list has to have length 2 or 3. The second argument contains the
global name of the repository which workspace root gets taken for
- computation.
+ computation. The third argument is an optional pragma object. If the
+ pragma object contains the key `"absent"`, the entry must be a boolean.
+ If the entry is `true`, that root is considered absent, otherwise not.
Repository description
----------------------