diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/coqmktop.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml index 14f26582f1..c5e6905f90 100644 --- a/scripts/coqmktop.ml +++ b/scripts/coqmktop.ml @@ -126,14 +126,14 @@ let usage () = \nFlags are:\ \n -coqlib dir Specify where the Coq object files are\ \n -camlbin dir Specify where the OCaml binaries are\ -\n -camlp4bin dir Specify where the CAmp4/5 binaries are\ +\n -camlp4bin dir Specify where the Camlp4/5 binaries are\ \n -o exec-file Specify the name of the resulting toplevel\ \n -boot Run in boot mode\ \n -echo Print calls to external commands\ \n -full Link high level tactics\ \n -opt Compile in native code\ \n -top Build Coq on a OCaml toplevel (incompatible with -opt)\ -\n -R dir Specify recursively directories for Ocaml\ +\n -R dir Add recursively dir to OCaml search path\ \n"; exit 1 |