diff options
| author | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:48:21 +0100 |
|---|---|---|
| committer | Alberto Sartori <alberto.sartori@huawei.com> | 2022-11-07 11:48:21 +0100 |
| commit | 26010d2cfb80ced0459d877ef3ba3e349347417a (patch) | |
| tree | 5f8e5e58f006ced814953ac8d46ccbe6287d1f54 /share | |
| parent | 6801f7448905e2c626c194fe3ffe5818b09df51f (diff) | |
| download | justbuild-26010d2cfb80ced0459d877ef3ba3e349347417a.tar.gz | |
update field names in the man page of just-mr-repository-config
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr-repository-config.5.org | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/share/man/just-mr-repository-config.5.org b/share/man/just-mr-repository-config.5.org index dd1736af..83532bf8 100644 --- a/share/man/just-mr-repository-config.5.org +++ b/share/man/just-mr-repository-config.5.org @@ -127,9 +127,9 @@ Specifically, the following fields are supported: If provided, they are passed on expanded to the workspace root of the repository named by their value. -- ~"target_root_file"~, -- ~"rule_root_file"~, -- ~"expression_root_file"~ refer to the name of the files containing +- ~"target_file_name"~, +- ~"rule_file_name"~, +- ~"expression_file_name"~ refer to the name of the files containing the targets, rules, and expressions, respectively, located relative to the corresponding root directories. These entries are optional. If provided, they are passed on as-is. |