From 577f6d0e5c4eecca3a3cd46dfc37084123f4adf6 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 5 Jan 2017 16:57:58 +0100
Subject: Document --print-version in Usage

---
 tools/coqc.ml     | 3 +++
 toplevel/usage.ml | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/coqc.ml b/tools/coqc.ml
index e9f79212b7..9857d43188 100644
--- a/tools/coqc.ml
+++ b/tools/coqc.ml
@@ -85,6 +85,9 @@ let parse_args () =
         Envars.set_coqlib ~fail:(fun x -> x);
         Envars.print_config stdout;
         exit 0
+      
+    |"--print-version" :: _ ->
+        Usage.machine_readable_version 0
 
 (* Options for coqtop : a) options with 0 argument *)
 
diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index 67701d73ea..c43f0ff058 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -56,7 +56,8 @@ let print_usage_channel co command =
 \n\
 \n  -where                 print Coq's standard library location and exit\
 \n  -config, --config      print Coq's configuration information and exit\
-\n  -v                     print Coq version and exit\
+\n  -v, --version          print Coq version and exit\
+\n  --print-version        print Coq version in easy to parse format and exit\
 \n  -list-tags             print highlight color tags known by Coq and exit\
 \n\
 \n  -quiet                 unset display of extra information (implies -w \"-all\")\
-- 
cgit v1.2.3