diff options
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just-profile.5.md | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/share/man/just-profile.5.md b/share/man/just-profile.5.md index c04712af..a7da6d25 100644 --- a/share/man/just-profile.5.md +++ b/share/man/just-profile.5.md @@ -34,6 +34,11 @@ Profile file The profile file contains the following information. +- For the key *`"subcommand"`* the subcommand that was executed. + +- For the key *`"subcommand args"`* the positional arguments that were + provided for that subcommand. + - For the key *`"target"`* the target that was analysed/built/installed, as full qualified name. |