From f4222f57a430d71c26ecc3908ca069866a8f5ce1 Mon Sep 17 00:00:00 2001
From: glondu
Date: Sat, 31 Jan 2009 22:57:35 +0000
Subject: Reorder coqmktop options and document -echo

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11875 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 scripts/coqmktop.ml | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'scripts')

diff --git a/scripts/coqmktop.ml b/scripts/coqmktop.ml
index f41042807a..85ea683e96 100644
--- a/scripts/coqmktop.ml
+++ b/scripts/coqmktop.ml
@@ -137,17 +137,18 @@ let all_subdirs dir =
 (* usage *)
 let usage () =
   prerr_endline "Usage: coqmktop <options> <ocaml options> files
-Flags.are:
+Flags are:
   -coqlib dir    Specify where the Coq object files are
   -camlbin dir   Specify where the OCaml binaries are
   -camlp4bin dir Specify where the CAmp4/5 binaries are
   -o exec-file   Specify the name of the resulting toplevel
   -boot          Run in boot mode
-  -opt           Compile in native code
+  -echo          Print calls to external commands
+  -ide           Build a toplevel for the Coq IDE
   -full          Link high level tactics
-  -top           Build Coq on a ocaml toplevel (incompatible with -opt)
+  -opt           Compile in native code
   -searchisos    Build a toplevel for SearchIsos
-  -ide           Build a toplevel for the Coq IDE
+  -top           Build Coq on a OCaml toplevel (incompatible with -opt)
   -R dir         Specify recursively directories for Ocaml\n";
   exit 1
 
-- 
cgit v1.2.3