diff options
| author | Sascha Roloff <sascha.roloff@huawei.com> | 2023-06-23 11:54:03 +0200 |
|---|---|---|
| committer | Sascha Roloff <sascha.roloff@huawei.com> | 2023-06-26 16:20:56 +0200 |
| commit | b94f1b857c6bc1eab909c4fb9a0ba569d6d28a03 (patch) | |
| tree | bf9e7effe7a94948541c2194c6b358f5476776fa /share/man/just-import-git.1.md | |
| parent | 4460f00e3ca819b24704424a317c6f373c1b10a4 (diff) | |
| download | justbuild-b94f1b857c6bc1eab909c4fb9a0ba569d6d28a03.tar.gz | |
man pages: use consistent git spelling
Use Git with capital G, when referring to Git in general. Use git with small g,
when referring to the git command.
Diffstat (limited to 'share/man/just-import-git.1.md')
| -rw-r--r-- | share/man/just-import-git.1.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/just-import-git.1.md b/share/man/just-import-git.1.md index 25f8fee2..afc25d7e 100644 --- a/share/man/just-import-git.1.md +++ b/share/man/just-import-git.1.md @@ -3,7 +3,7 @@ NAME ==== -just-import-git - import one git repository to a multi-repository +just-import-git - import one Git repository to a multi-repository configuration SYNOPSIS @@ -14,7 +14,7 @@ SYNOPSIS DESCRIPTION =========== -Extend an existing **`just-mr-repository-config`**(5) by adding one git +Extend an existing **`just-mr-repository-config`**(5) by adding one Git repository. In doing so, the dependencies declared in the imported repository are added as well and *`"file"`* repositories are transformed to *`"subdir"`* parts of the imported repository. This solves the |