diff options
| -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 ---------------------- |