diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2024-12-20 10:53:45 +0100 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2025-01-10 12:47:02 +0100 |
| commit | 9ac6101724cbfaec02f904491c0ec8a9f2d6ab5f (patch) | |
| tree | 0e271cec2e9c8b292a609952ae58bfd6db7d44a9 | |
| parent | bec7e61152e28106a17d5406cc596353f22ebf26 (diff) | |
| download | justbuild-9ac6101724cbfaec02f904491c0ec8a9f2d6ab5f.tar.gz | |
just-mr-repository-config.5: Fix typos
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 1c925e9a..a641c37f 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -87,7 +87,7 @@ The following fields are supported. the archive content for an *`"archive"`* repository. - *`"name"`* specifies the name the content should have in the defined root. - It has to be a plain file name without implicitly specified sudirs. This + It has to be a plain file name without implicitly specified subdirs. This field is mandatory. - *`"executable"`* is a boolean indicating whether the fetched file should @@ -274,7 +274,7 @@ following fields are supported: - *`"main"`* contains a JSON string that determines which of the provided repositories is considered the main repository. This entry - is optional, and if ommitted, it will be ommitted in the generated + is optional, and if omitted, it will be omitted in the generated **`just-repository-config`**. - *`"repositories"`* contains a JSON object, where each key is the |