diff options
| author | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-10-04 17:04:10 +0200 |
|---|---|---|
| committer | Paul Cristian Sarbu <paul.cristian.sarbu@huawei.com> | 2022-10-04 17:35:21 +0200 |
| commit | d2a4864a942defc9a11d1f64725599f22a88bee1 (patch) | |
| tree | 36c0b8e1ec4bcb045b9fa125f983cfb7fe26dfbb /share | |
| parent | 0ca76b495dfaa024dbe1b3e9fc1929e4ebfe8b4d (diff) | |
| download | justbuild-d2a4864a942defc9a11d1f64725599f22a88bee1.tar.gz | |
just: Fix version subcommand; Fix just section-1 man page
The version subcommand now has no expected command line options, as expected.
Also the version subcommand was missing from the man page synopsis.
Diffstat (limited to 'share')
| -rw-r--r-- | share/man/just.1.org | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/share/man/just.1.org b/share/man/just.1.org index 4509da80..9bd95ae0 100644 --- a/share/man/just.1.org +++ b/share/man/just.1.org @@ -7,6 +7,7 @@ just - a generic build tool. * SYNOPSIS +just version\\ just {analyse|build} [OPTIONS] [[module] target]\\ just install -o <OUTPUT_DIR> [OPTIONS] [[module] target]\\ just install-cas [OPTIONS] <OBJECT_ID>\\ |