summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
authorAlberto Sartori <alberto.sartori@huawei.com>2022-11-07 11:48:21 +0100
committerAlberto Sartori <alberto.sartori@huawei.com>2022-11-07 11:48:21 +0100
commit26010d2cfb80ced0459d877ef3ba3e349347417a (patch)
tree5f8e5e58f006ced814953ac8d46ccbe6287d1f54 /share
parent6801f7448905e2c626c194fe3ffe5818b09df51f (diff)
downloadjustbuild-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.org6
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.