diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-09 12:10:40 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2024-01-09 15:58:52 +0100 |
| commit | e15f11ce0a7813602d9627e95ae9fb125afa891e (patch) | |
| tree | 8a7625b82d58403a732a64739263cfa3a42c9150 /share | |
| parent | fc95fe665e603477dd8bfd68da703862713b4648 (diff) | |
| download | justbuild-e15f11ce0a7813602d9627e95ae9fb125afa891e.tar.gz | |
just-mr: don't make the command line pretend a fixed name
Our fetch and launch tool is parametric in the tool to be launched.
Reflect this in the documentation and do not pretend it to be the
name "just" hard coded. While there, also fix the hard-coded name
"git" in the documentation of the default value.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mr.1.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/share/man/just-mr.1.md b/share/man/just-mr.1.md index 7126487d..b7929625 100644 --- a/share/man/just-mr.1.md +++ b/share/man/just-mr.1.md @@ -3,8 +3,7 @@ NAME ==== -just-mr - multi-repository configuration tool and launcher for -**`just`**(1) +just-mr - multi-repository configuration tool and launcher for the build tool SYNOPSIS ======== |