diff options
| author | glondu | 2011-07-20 10:55:14 +0000 |
|---|---|---|
| committer | glondu | 2011-07-20 10:55:14 +0000 |
| commit | ef92bce9a3337f2a74e6ead8c66a114899a9b24f (patch) | |
| tree | 15bf67f56adbef1f1edd4e317f463b898e4b3d70 /scripts | |
| parent | 4c6ce76403035630db684e7c323ae171c4f28de5 (diff) | |
Fix typo in coqmktop help
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14288 85f007b7-540e-0410-9357-904b9bb8a0f7
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 |