From b633eff69df5cec368c4fc5d24674829f8a0b0c0 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Fri, 10 Jan 2025 15:35:41 +0100 Subject: just-mr-repository-config(5): pragma special not for derived roots --- share/man/just-mr-repository-config.5.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'share') diff --git a/share/man/just-mr-repository-config.5.md b/share/man/just-mr-repository-config.5.md index a641c37f..b9d5c5cd 100644 --- a/share/man/just-mr-repository-config.5.md +++ b/share/man/just-mr-repository-config.5.md @@ -217,7 +217,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 -- cgit v1.2.3