diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-16 14:05:11 +0200 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2016-06-16 14:23:56 +0200 |
| commit | 01847d2c992b05af5ed477ec7a208064526b0c5f (patch) | |
| tree | 8b91c2fa969205e0bb151f49c7432f78e58ddefb /man | |
| parent | 7ded7df853fd0485822f2a9c79207352af5dca38 (diff) | |
--print-version produces machine readable version info
What one needs to know in 3rd party makefiles, like plugins ones,
is the Coq version and the OCaml version number. This option prints
the 2 values on a single line separated by spaces. The already existing
--version outputs the same piece of info but in a format meant for user
consumption, and hence harder to parse.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions