diff options
| author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-01-10 15:35:41 +0100 |
|---|---|---|
| committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2025-01-13 16:57:20 +0100 |
| commit | 6eca207bc71c251931c4169db334d687e0b2e831 (patch) | |
| tree | 7d89d41ec956315c56675049c7e1f7b514913c3b | |
| parent | a0fc50fcdb307ae69b59b55aa0e277f0660ebc00 (diff) | |
| download | justbuild-6eca207bc71c251931c4169db334d687e0b2e831.tar.gz | |
just-mr-repository-config(5): pragma special not for derived roots
(cherry-picked from b633eff69df5cec368c4fc5d24674829f8a0b0c0)
| -rw-r--r-- | share/man/just-mr-repository-config.5.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index 05cde2de..1820a0d2 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -184,7 +184,8 @@ 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 local build root. -For all workspace roots except *`"distdir"`* the pragma key *`"special"`* is +For all workspace roots except *`"distdir"`*, *`"computed"`*, +and *`"tree structure"`*, the pragma key *`"special"`* is supported. If its value is *`"ignore"`* then it indicates that the workspace root should ignore all special (i.e., neither file, executable, nor tree) entries. For a *`"file"`* workspace root or for an *`"archive"`* workspace root |