diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2023-08-28 15:59:34 +0200 |
|---|---|---|
| committer | Oliver Reiche <oliver.reiche@huawei.com> | 2023-08-29 10:29:51 +0200 |
| commit | 9a52774c7da0d77d907c7e93d56ada6c362d50b1 (patch) | |
| tree | 924ccae0ab1451d62db0b0009e2781a980a2dcb3 | |
| parent | 63847a04a3e245097b170196cbef3005078e2e7f (diff) | |
| download | justbuild-9a52774c7da0d77d907c7e93d56ada6c362d50b1.tar.gz | |
man: Fix missing quoting of literals
(cherry picked from 3e4e2b6fcbffe5de62d7c3eab47fdf3987dc778d)
| -rw-r--r-- | share/man/just.1.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/share/man/just.1.md b/share/man/just.1.md index 529a9df5..b9f039d4 100644 --- a/share/man/just.1.md +++ b/share/man/just.1.md @@ -50,11 +50,11 @@ modules. The main repository is the repository containing the target specified on the command line. The main repository can either be read from the -multi-repository configuration file if it contains the key *`main`* or +multi-repository configuration file if it contains the key *`"main"`* or through the option **`--main`**. The command-line option **`--main`** overrides what is eventually read from the multi-repository configuration file. If neither the multi-repository configuration file -contains the *`main`* key nor the **`--main`** option is provided, the +contains the *`"main"`* key nor the **`--main`** option is provided, the lexicographical first repository from the multi-repository configuration file is used as main. |