diff options
| author | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-18 15:57:29 +0100 |
|---|---|---|
| committer | Maksim Denisov <denisov.maksim@huawei.com> | 2024-12-19 16:37:59 +0100 |
| commit | bebd7dd76266db1379fea2687b84cc59d8f139a2 (patch) | |
| tree | 409ca1dd2e75e530c38ad806baf20dd60c729d19 | |
| parent | 4ec7e8ba8eb68578f4a34694405a7f0b66762e25 (diff) | |
| download | justbuild-bebd7dd76266db1379fea2687b84cc59d8f139a2.tar.gz | |
just-repository-config(5): Document the format for tree structure roots
| -rw-r--r-- | share/man/just-repository-config.5.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just-repository-config.5.md b/share/man/just-repository-config.5.md index 31a3f140..75c4dd97 100644 --- a/share/man/just-repository-config.5.md +++ b/share/man/just-repository-config.5.md @@ -42,6 +42,11 @@ which determines the type and semantic of the subsequent elements: length 5, with the remaining arguments being the global repository name, 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 + global name of the repository which workspace root gets taken for + computation. + Repository description ---------------------- |