diff options
author | Bernhard Urban <lewurm@gmail.com> | 2019-05-22 19:49:38 +0300 |
---|---|---|
committer | Marek Safar <marek.safar@gmail.com> | 2019-05-22 19:49:38 +0300 |
commit | 574d87ca9ff47c99456174884b4625a406e7590c (patch) | |
tree | 32fbee6ad1ed701124021c088082355abf6698bf /man | |
parent | e2cc6fc40def13c06e3748ed84d9b776695338bb (diff) |
[driver] add --version=number (#14538)
* [driver] add --version-number
Useful for third parties consuming the version number of mono.
* s/--version-number/--version=number/g
* add man page entry
Diffstat (limited to 'man')
-rw-r--r-- | man/mono.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/mono.1 b/man/mono.1 index cf27efc72a9..37f786073c5 100644 --- a/man/mono.1 +++ b/man/mono.1 @@ -659,6 +659,9 @@ mscorlib and assemblies located on the global assembly cache. \fB-V\fR, \fB--version\fR Prints JIT version information (system configuration, release number and branch names if available). +.TP +\fB--version=number\fR +Print version number only. .SH DEVELOPMENT OPTIONS |