From 57109109a53c4bbbd7c8fa0acc142e47c80c5df7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 25 Mar 2015 11:09:56 +0100
Subject: coqc: fix --help

---
 toplevel/usage.ml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index 6909d89440..4ee3bc4745 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -48,6 +48,10 @@ let print_usage_channel co command =
 \n  -compile f             compile Coq file f.v (implies -batch)\
 \n  -compile-verbose f     verbosely compile Coq file f.v (implies -batch)\
 \n  -quick                 quickly compile .v files to .vio files (skip proofs)\
+\n  -schedule-vio2vo j f1..fn   run up to j instances of Coq to turn each fi.vio\
+\n                         into fi.vo\
+\n  -schedule-vio-checking j f1..fn   run up to j instances of Coq to check all\
+\n                         proofs in each fi.vio\
 \n\
 \n  -where                 print Coq's standard library location and exit\
 \n  -config                print Coq's configuration information and exit\
-- 
cgit v1.2.3