diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-mrrc.5.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/share/man/just-mrrc.5.md b/share/man/just-mrrc.5.md index 662717b7..96f11912 100644 --- a/share/man/just-mrrc.5.md +++ b/share/man/just-mrrc.5.md @@ -195,6 +195,9 @@ The just-mrrc is given by a JSON object. - *`"--dump-plain-graph"`* A file name specifying the file in the invocation-log directory for an invocation-specific `--dump-plain-graph` option. + - *`"--dump-artifacts-to-build"`* A file name specifying the + file in the invocation-log directory for the invocation-specific + `--dump-artifacts-to-build` option. - *`"--dump-artifacts"`* A file name specifying in the file in the invocation-log directory for the invocation-specific `--dump-artifacts` option. |