diff options
-rw-r--r-- | share/man/just.1.org | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org index a6839de8..fe46bb12 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -424,6 +424,11 @@ the original remote build execution protocol. more details.\\ Supported by: install-cas + *--raw-tree*\\ + When installing a tree to stdout, i.e., when no option *-o* is given, + dump the raw tree rather than a pretty-printed version. + Supported by: install-cas + ** Parallelism options *-J*, *--build-jobs* NUM\\ |