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

---
 tools/coqc.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'tools')

diff --git a/tools/coqc.ml b/tools/coqc.ml
index e9f79212b..9857d4318 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 *)
 
-- 
cgit v1.2.3