From 26010d2cfb80ced0459d877ef3ba3e349347417a Mon Sep 17 00:00:00 2001 From: Alberto Sartori Date: Mon, 7 Nov 2022 11:48:21 +0100 Subject: update field names in the man page of just-mr-repository-config --- share/man/just-mr-repository-config.5.org | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'share') 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. -- cgit v1.2.3