diff options
| author | Oliver Reiche <oliver.reiche@huawei.com> | 2023-06-01 16:42:55 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-06-01 18:05:32 +0200 |
| commit | 69c7f71b23cb99d78d6a1f098d5dee63c8bcc916 (patch) | |
| tree | 5b639fa45d12247c92fabda03ff1036be8b34b3c | |
| parent | b6dbf64d641b9286e2d9d99adb20ae9dbdf2e1b9 (diff) | |
| download | justbuild-69c7f71b23cb99d78d6a1f098d5dee63c8bcc916.tar.gz | |
man: Minor format and consistency improvements
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 2 | ||||
| -rw-r--r-- | share/man/just-mr.1.md | 5 | ||||
| -rw-r--r-- | share/man/just-mrrc.5.md | 2 | ||||
| -rw-r--r-- | share/man/just.1.md | 3 |
4 files changed, 7 insertions, 5 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 63e45f6b..32257c60 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -147,7 +147,7 @@ different workspace roots might support different keys for this object; unsupported keys are always ignored. For a `"file"` workspace root, the pragma key `"to_git"` is supported. -If its value is `"true"`, it indicates that the workspace root should be +If its value is `true`, it indicates that the workspace root should be returned as a Git tree. If the root directory is already part of a Git repository, its Git tree identifier is used; otherwise, the workspace root will be realized as a Git tree in the Git repository in `just`'s diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 90d6c3f8..b64c2d6f 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -36,12 +36,13 @@ OPTIONS General options --------------- -**-h**, **--help** Output a usage message and exit. +**-h**, **--help** +Output a usage message and exit. **-C**, **--repository-config** PATH Path to the multi-repository configuration file. See **just-mr-repository-config(5)** for more details. If no configuration -file is \*specified, `just-mr` will look for one in the following +file is specified, `just-mr` will look for one in the following order: - `$WORKSPACE_ROOT/repos.json` (workspace of the `just-mr` invocation) diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index c94f9a69..6534a2be 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -38,7 +38,7 @@ within the location root. The value for key `"base"` is a relative path within the location root. This path is only relevant for locations of config files. If such a config file contains relative paths, those will be resolved relative to -the specified base. If omitted, the default value `.` is used. +the specified base. If omitted, the default value `"."` is used. The just-mrrc format -------------------- diff --git a/share/man/just.1.md b/share/man/just.1.md index d7968282..9ea60d01 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -277,7 +277,8 @@ OPTIONS Generic program information --------------------------- -**-h**, **--help** Output a usage message and exit. +**-h**, **--help** +Output a usage message and exit. Supported by: all subcommands. Compatibility options |