diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/usage.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/usage.ml b/toplevel/usage.ml index 962fdcf78c..3c994cdc85 100644 --- a/toplevel/usage.ml +++ b/toplevel/usage.ml @@ -40,8 +40,7 @@ let print_usage_channel co command = -compile-verbose f verbosely compile Coq file f.v (implies -batch) -opt run the native-code version of Coq or Coq_SearchIsos - -bindir dir specify an alternative directory for the binaries - -libdir dir specify an alternative directory for the library + -byte run the bytecode version of Coq or Coq_SearchIsos -where print Coq's standard library location and exit -v print Coq version and exit |